Theorem BooleanSubalgebra.comap_inf

Modification history