Theorem BooleanSubalgebra.iSup_mem

Modification history