Theorem Finsupp.coe_eq_zero

Modification history

2024-01-17 23:23

Mathlib/Data/Finsupp/Defs.lean

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

Modified Finsupp.coe_eq_zero View on Github →

2023-01-27 13:32

Mathlib/Data/Finsupp/Defs.lean

feat: port Data.Finsupp.Defs (#1807)

Added Finsupp.coe_eq_zero View on Github →