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

compl_eq_bnot

Mathlib.Order.BooleanAlgebra.Defs

URI: https://scilib.ai/kg/mathlib#Bool.compl_eq_bnot

← MathLib Explorer