Theorem Finsupp.coeFn_injective

Modification history

2024-06-09 14:51

Mathlib/Data/Finsupp/Defs.lean

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

Deleted Finsupp.coeFn_injective View on Github →

2023-01-27 13:32

Mathlib/Data/Finsupp/Defs.lean

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

Added Finsupp.coeFn_injective View on Github →