Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-04 20:20 7b825f2a

View on Github →

feat(linear_algebra/alternating): Add comp_alternating_map and lemmas (#5476) This is just comp_multilinear_map with the extra bundled proof

Estimated changes