Theorem BooleanSubalgebra.map_top

Modification history