Theorem BooleanSubalgebra.coe_inf

Modification history