Theorem IsFractionRing.algHom_commutes

Modification history

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