Theorem IsLocalization.map_units_map_submonoid

Modification history