Theorem BooleanSubalgebra.iInf_mem

Modification history