Theorem BooleanSubalgebra.comap_iInf

Modification history