Theorem BooleanSubalgebra.compl_mem

Modification history