Theorem motzkin_polynomial_nonneg

Modification history

2025-08-16 14:23
Counterexamples/Motzkin.lean
chore: more elementary Motzkin polynomial proof (#28482) …
Added motzkin_polynomial_nonnegView on Github →