Commit 2018-10-02 11:34 efa94590

View on Github →

feat(category_theory/whiskering): whiskering nat_trans by functors (#360)

  • feat(category_theory/whiskering): whiskering nat_trans by functors
  • simplify whiskering

Estimated changes