Theorem BooleanSubalgebra.le_comap_sup

Modification history