Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-01-03 02:24
9ea7e462
View on Github →
feat(linear_algebra/alternating): Show the link to linear_independent (
#5477
)
Estimated changes
Modified
src/linear_algebra/alternating.lean
added
theorem
alternating_map.map_linear_dependent
added
theorem
alternating_map.map_update_sum
Modified
src/linear_algebra/multilinear.lean
modified
theorem
multilinear_map.map_sum
modified
theorem
multilinear_map.map_sum_finset
modified
theorem
multilinear_map.map_sum_finset_aux
added
theorem
multilinear_map.map_update_sum