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

chore(category_theory/whiskering): clean up #1613

mergify merged 8 commits into master from cleanup-whiskering

chore(category_theory/whiskering): clean up

cc34b3fd

ugh, the stalks proofs are so fragile

0f25bd12

fixes

2ca3a737

minor

8fb8798a

fix

0922cd30

fix

0a1930a5

kim-em added awaiting-review

fpvandoorn approved these changes on 2019-10-31

fpvandoorn removed awaiting-review

fpvandoorn added ready-to-merge

Merge branch 'master' into cleanup-whiskering

40bf7b96

Merge branch 'master' into cleanup-whiskering

35c86706

mergify merged df916232 into master 6 years ago

mergify deleted the cleanup-whiskering branch 6 years ago

Reviewers

fpvandoorn

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone