Theorem Finsupp.single_nonpos

Modification history

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