Theorem BooleanSubalgebra.mem_iInf

Modification history