Theorem Sublattice.inclusion_injective

Modification history