Commit 2025-10-28 14:31 6faed1d0
View on Github →feat(FractionRing): generalize instIsScalarTower_1 (#30787) Generalize instance. The proof does not use the fact that the second and third fields are fraction rings, it is more useful to have them as general fields.