Theorem IsFractionRing.isUnit_map_of_injective

Modification history