Theorem BooleanSubalgebra.compl_mem_iff

Modification history