Theorem Subring.toSubmonoid_strictMono

Modification history