Theorem FractionRing.isScalarTower_liftAlgebra

Modification history

2023-11-28 11:57
Mathlib/RingTheory/Localization/FractionRing.lean
feat: `IsFractionRing R R` if `R` is a field. (#8641)
Deleted FractionRing.isScalarTower_liftAlgebraView on Github →
2023-09-02 16:56
Mathlib/RingTheory/Localization/FractionRing.lean
fix: remove a bad Algebra instance in FractionRing (#6724)
Added FractionRing.isScalarTower_liftAlgebraView on Github →