Commit 2019-05-30 12:43 c49ac06f

View on Github →

feat(category_theory/monoidal): monoidal categories, monoidal functors (#1002)

  • feat(category_theory/iso): missing lemmas
  • formatting
  • formatting
  • almost
  • oops
  • getting there
  • one more
  • sleep
  • good to go
  • fix names
  • renaming
  • linebreak
  • temporary notations
  • notations for associator, unitors?
  • more notation
  • names
  • more names
  • oops
  • renaming, and namespaces
  • comment
  • fix comment
  • remove unnecessary open, formatting
  • removing dsimps
  • replace with simp lemmas
  • fix

Estimated changes