Theorem Valuation.pow_coeff_zero_ne_zero_of_unit

Modification history

2025-07-04 10:05
Mathlib/RingTheory/Valuation/Minpoly.lean
chore: whitespace before `:` (#26727) …
Modified Valuation.pow_coeff_zero_ne_zero_of_unitView on Github →
2024-08-26 11:39
Mathlib/RingTheory/Valuation/Minpoly.lean
feat(RingTheory.Valuation.Minpoly): add valuation lemmas (#15736) …
Added Valuation.pow_coeff_zero_ne_zero_of_unitView on Github →