Theorem IsFractionRing.algEquiv_commutes

Modification history

2025-10-01 10:14
Mathlib/RingTheory/Localization/FractionRing.lean
feat(FractionRing): add `algHom_commutes` (#29907) …
Added IsFractionRing.algEquiv_commutesView on Github →