Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-10 02:23 c9628717

View on Github →

feat(linear_algebra): linear_independent_fin_snoc (#6455) A slight variation on the existing linear_independent_fin_cons.

Estimated changes

modified theorem fin_add_flip_apply_left