Theorem IsLocalization.span_invSubmonoid

Modification history