Theorem BooleanSubalgebra.inf_mem

Modification history