Theorem IsLocalization.submonoid_map_le_is_unit

Modification history