Theorem IsFractionRing.closure_range_algebraMap

Modification history

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