Commit 2021-04-29 12:50 91604cbe
View on Github →feat(data/finsupp/to_dfinsupp): add equivalences between finsupp and dfinsupp (#7311) A rework of #7217, that adds a more elementary equivalence.
feat(data/finsupp/to_dfinsupp): add equivalences between finsupp and dfinsupp (#7311) A rework of #7217, that adds a more elementary equivalence.