Commit 2026-09-03 08:22 615916ef
View on Github →refactor(RingTheory/Localization/AtPrime/Basic): replace IsLiesOverAlgebra with IsScalarTower (#41100)
As @erdOne pointed out on #38465, the recently added IsLiesOverAlgebra is equivalent to assuming IsScalarTower. So I've deprecated IsLiesOverAlgebra and switched everything over to IsScalarTower.