Mathlib v3 is deprecated. Go to Mathlib v4

Def dfinsupp.update

Modification history

2021-09-13 23:34

src/data/dfinsupp.lean

feat(data/(d)finsupp): (d)finsupp.update (#9015)

Added dfinsupp.update View on Github →