Theorem BooleanSubalgebra.coe_sInf

Modification history