Theorem Sublattice.mk_inf_mk

Modification history