mathlib3

feat(data/equiv/functor): map_equiv

#1026

Merged