Theorem Finsupp.ne_iff

Modification history

2024-01-17 23:23

Mathlib/Data/Finsupp/Defs.lean

chore(*): rename `FunLike` to `DFunLike` (#9785) …

Modified Finsupp.ne_iff View on Github →

2023-12-07 11:12

Mathlib/Data/Finsupp/Defs.lean

feat: When `Finsupp.prod` is nonzero (#8844) …

Added Finsupp.ne_iff View on Github →