∫ Утверждение Mathlib

hnot_eq_compl

Mathlib.Order.BooleanAlgebra.Basic

URI: https://scilib.ai/kg/mathlib#hnot_eq_compl

← MathLib Explorer