mathlib

57a9f8be - chore(group_theory/sub{monoid,group}, linear_algebra/basic): rename equivalences to mapped subobjects (#11075)

chore(group_theory/sub{monoid,group}, linear_algebra/basic): rename equivalences to mapped subobjects (#11075) This makes the names shorter and more uniform: * `add_equiv.map_add_submonoid` * `add_equiv.map_add_subgroup` * `linear_equiv.map_submodule`