Commit 2019-10-31 23:37 df916232

View on Github →

chore(category_theory/whiskering): clean up (#1613)

  • chore(category_theory/whiskering): clean up
  • ugh, the stalks proofs are so fragile
  • fixes
  • minor
  • fix
  • fix

Estimated changes