Theorem IsLocalization.toInvSubmonoid_eq_mk'

Modification history