mathlib

00cec552 - feat(linear_algebra/affine_space/independent): add characterisation of affine independence for modules (#14043)