Theorem Polynomial.taylor_inj

Modification history

2025-05-31 06:39
Mathlib/Algebra/Polynomial/Taylor.lean
feat(Algebra): small lemmas for taylor (#25305) …
Added Polynomial.taylor_injView on Github →