Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-21 02:50 888e75b5

View on Github →

refactor(*/multilinear): better right curryfication (#1985)

  • feat(data/fin): append
  • Update fin.lean
  • Update fintype.lean
  • replace but_last with init
  • cons and append commute
  • feat(*/multilinear): better multilinear
  • docstrings
  • snoc
  • fix build
  • comp_snoc and friends
  • fix docstring
  • typo

Estimated changes