Commit 2020-06-11 15:35 ce48b6ba
View on Github →chore(data/finsupp): drop finsupp.module and vector_space (#3009)
These instances are not needed as module and vector_space are abbreviations for semimodule.
Also add two bundled versions of eval: as add_monoid_hom and as linear_map.