Def Finsupp.comapSMul

Modification history

2023-12-08 10:23

Mathlib/Data/Finsupp/Basic.lean

chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …

Modified Finsupp.comapSMul View on Github →

2023-02-01 05:31

Mathlib/Data/Finsupp/Basic.lean

feat: port Data.Finsupp.Basic (#1949) …

Added Finsupp.comapSMul View on Github →