Theorem Localization.mem_range_mapToFractionRing_iff

Modification history