Theorem Sublattice.inf_mem

Modification history