Theorem BooleanSubalgebra.coe_iInf

Modification history