Theorem Polynomial.coeff_zero_of_isScalarTower

Modification history

2025-07-15 13:39
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(Algebra/Polynomial/AlgebraMap): add lemmas (#26666)
Added Polynomial.coeff_zero_of_isScalarTowerView on Github →