Theorem IsLocalization.toInvSubmonoid_mul

Modification history