Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-10 06:48 f04535de

View on Github →

feat(category_theory): iso_whisker_(left|right) (#908)

  • feat(category_theory): iso_whisker_(left|right)
  • oops, use old notation for now
  • update after merge

Estimated changes