Theorem IsLocalization.mem_invSubmonoid_iff_exists_mk'

Modification history