Theorem BooleanSubalgebra.map_sup

Modification history