Theorem BooleanSubalgebra.sInf_mem

Modification history