Theorem Finsupp.coeFn_inj

Modification history

2024-06-09 14:51

Mathlib/Data/Finsupp/Defs.lean

chore(*): drop some long-deprecated theorems (#13619)

Deleted Finsupp.coeFn_inj View on Github →

2023-01-27 13:32

Mathlib/Data/Finsupp/Defs.lean

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

Added Finsupp.coeFn_inj View on Github →