mathlib

155d5519 - feat(algebra/module/submodule/basic): add has_vadd (#18815)