Theorem BooleanSubalgebra.mem_toSublattice

Modification history