Theorem Subring.toSubmonoid_injective

Modification history