Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-04 15:57 5ea96f9a

View on Github →

feat(linear_algebra/multilinear): Add multilinear_map.coprod (#5182)

Estimated changes