Commit 2024-05-18 16:15 da9a27fa
View on Github →feat(Data.DFinsupp.Notation): add notation for DFinsupp (#10962)
This just extends the existing notation we already use for Finsupp (#6367).
The two seem to coexist on the same notation without any issue.