mathlib

c9628717 - feat(linear_algebra): linear_independent_fin_snoc (#6455)

feat(linear_algebra): linear_independent_fin_snoc (#6455) A slight variation on the existing `linear_independent_fin_cons`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>