Theorem BooleanSubalgebra.map_inf

Modification history