Theorem IsFractionRing.lift_fieldRange

Modification history

2024-11-21 15:34
Mathlib/RingTheory/Localization/FractionRing.lean
feat: add `IsFractionRing.lift[AlgHom]_fieldRange[_eq_of_range_eq]` (#19286) …
Added IsFractionRing.lift_fieldRangeView on Github →