Theorem Polynomial.eval₂_id

Modification history

2025-09-15 12:54
Mathlib/Algebra/Polynomial/Eval/Defs.lean
chore: bump toolchain to v4.24.0-rc1 (#29671)
Added Polynomial.eval₂_idView on Github →