Theorem Polynomial.toLaurent_eq_zero

Modification history

2024-11-28 15:29
Mathlib/Algebra/Polynomial/Laurent.lean
refactor(Algebra/Polynomial/Laurent): simplify some proofs (#19534) …
Added Polynomial.toLaurent_eq_zeroView on Github →