Theorem Finsupp.single_nonneg

Modification history

2024-10-08 17:07
Mathlib/Data/Finsupp/Order.lean
feat: order properties of `Finsupp.single` (#17461) …
Added Finsupp.single_nonnegView on Github →