chore(linear_algebra/basic): remove a duplicate proof, generalize map_span_le (#10219)
chore(linear_algebra/basic): remove a duplicate proof, generalize map_span_le (#10219)






leanprover-community/mathlib,leanprover-community/mathlib