Theorem Polynomial.mem_coeffs_iff

Modification history

2024-05-18 08:22

Mathlib/RingTheory/Polynomial/Basic.lean

chore(RingTheory/Polynomial): rename `frange` to `coeffs` (#12919) …

Added Polynomial.mem_coeffs_iff View on Github →