Theorem Polynomial.toLaurent_ne_zero

Modification history

2024-11-28 15:29
Mathlib/Algebra/Polynomial/Laurent.lean
refactor(Algebra/Polynomial/Laurent): simplify some proofs (#19534) …
Modified Polynomial.toLaurent_ne_zeroView on Github →
2023-05-15 09:05
Mathlib/Data/Polynomial/Laurent.lean
feat: port Data.Polynomial.Laurent (#2953)
Added Polynomial.toLaurent_ne_zeroView on Github →