Theorem Submonoid.inclusion_injective

Modification history