Theorem Valuation.coeff_zero_minpoly

Modification history

2024-08-26 11:39
Mathlib/RingTheory/Valuation/Minpoly.lean
feat(RingTheory.Valuation.Minpoly): add valuation lemmas (#15736) …
Added Valuation.coeff_zero_minpolyView on Github →