feat(linear_algebra/affine_space/independent): homotheties preserve affine independence (#9070)
feat(linear_algebra/affine_space/independent): homotheties preserve affine independence (#9070)






leanprover-community/mathlib,leanprover-community/mathlib