Theorem IsFractionRing.ringHom_fieldRange_eq_of_comp_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_eqView on Github →