Theorem BooleanSubalgebra.sup_mem

Modification history