Theorem IsLocalization.toInvSubmonoid_surjective

Modification history