Theorem IsLocalization.smul_toInvSubmonoid

Modification history