Commit 2024-11-21 15:34 e2d0dfce
View on Github →feat: add IsFractionRing.lift[AlgHom]_fieldRange[_eq_of_range_eq] (#19286)
Which are direct applications of IsFractionRing.ringHom_fieldRange_eq_of_comp_eq.
Also fix some docstrings mentioning "integral domain".