Theorem BooleanSubalgebra.map_mono

Modification history