Def DFinsupp.updateUnexpander

Modification history

2024-05-18 16:15

Mathlib/Data/DFinsupp/Notation.lean

feat(Data.DFinsupp.Notation): add notation for `DFinsupp` (#10962) …

Added DFinsupp.updateUnexpander View on Github →