Theorem Polynomial.finite_range_coeff

Modification history

2026-01-05 09:39
Mathlib/Algebra/Polynomial/Basic.lean
feat: range of `Finsupp` is finite (#33530)
Added Polynomial.finite_range_coeffView on Github →