mathlib

14c625e1 - feat(linear_algebra/basic): add span_eq_add_submonoid.closure (#7200)