Theorem IsFractionRing.ker_stabilizerHom

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.ker_stabilizerHomView on Github →