Commit 2020-10-30 08:20 072cfc55
View on Github →chore(data/dfinsupp): Provide dfinsupp with a semimodule instance (#4801) finsupp already has one, it seems pointless to hide the one for dfinsupp behind a def.
chore(data/dfinsupp): Provide dfinsupp with a semimodule instance (#4801) finsupp already has one, it seems pointless to hide the one for dfinsupp behind a def.