Theorem DFinsupp.ne_iff

Modification history

2024-01-17 23:23

Mathlib/Data/DFinsupp/Basic.lean

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

Modified DFinsupp.ne_iff View on Github →

2023-12-07 11:12

Mathlib/Data/DFinsupp/Basic.lean

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

Added DFinsupp.ne_iff View on Github →