Mathlib v3 is deprecated. Go to Mathlib v4

Theorem linear_independent_fin_snoc

Modification history

2021-03-10 02:23
src/linear_algebra/linear_independent.lean
feat(linear_algebra): linear_independent_fin_snoc (#6455) …
Added linear_independent_fin_snocView on Github →