Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-04 17:59 dea8bd4b

View on Github →

feat(*/multilinear): more material (#2197)

  • feat(*/multilinear): more material
  • improvements
  • docstring
  • elaboration strategy
  • remove begin ... end
  • fix build
  • linter

Estimated changes