Theorem IsFractionRing.ringHom_fieldRange_eq_of_comp_eq_of_range_eq

Modification history

2024-11-14 18:07
Mathlib/RingTheory/Localization/FractionRing.lean
feat: add some result on `IsFractionRing` and `fieldRange` (#18984) …
Added IsFractionRing.ringHom_fieldRange_eq_of_comp_eq_of_range_eqView on Github →