Theorem finsuppLequivDfinsupp_symm_apply

Modification history

2023-07-12 02:40
Mathlib/Data/Finsupp/ToDfinsupp.lean
chore: rename `Dfinsupp` to `DFinsupp` (#5822) …
Deleted finsuppLequivDfinsupp_symm_applyView on Github →
2023-03-01 18:09
Mathlib/Data/Finsupp/ToDfinsupp.lean
fix: replace symmApply by symm_apply (#2560)
Added finsuppLequivDfinsupp_symm_applyView on Github →