Theorem BooleanSubalgebra.le_comap_iSup

Modification history