Theorem Finsupp.mapDomain_nonpos

Modification history

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