Theorem IsLocalization.finiteType_of_monoid_fg

Modification history