Theorem IsFractionRing.lift_algebraMap

Modification history