basic): mem_map_equiv (#6399)

Commit

5 years ago

feat(data/finset/basic): mem_map_equiv (#6399) This adds a version of `mem_map` specialized to equivs, which has a better simp-nf.

Author

gebner

Parents