This repository was archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(category_theory/bicategory/coherence_tactic): coherence tactic for bicategories#13417
Closed
yuma-mizuno wants to merge 7 commits intomasterfrom bicategory-coherence-tactic'
Commits
Commits on Apr 13, 2022
- committed
- committed
- committed
Commits on May 2, 2022
- committed
