Theorem BooleanSubalgebra.comap_mono

Modification history