Def DFinsupp.singleUnexpander

Modification history

2024-05-18 16:15

Mathlib/Data/DFinsupp/Notation.lean

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

Added DFinsupp.singleUnexpander View on Github →