Theorem IsFractionRing.stabilizerQuotientInertiaEquiv_mk

Modification history

2026-06-04 13:23

Mathlib/RingTheory/Invariant/Basic.lean

feat(RingTheory/Invariant/Basic): add isomorphism version of `IsFractionRing.stabilizerHom` (#40203) …

Added IsFractionRing.stabilizerQuotientInertiaEquiv_mk View on Github →