coherence): prove the coherence theorem for bicategories (#12155)

Commit

3 years ago

feat(category_theory/bicategory/coherence): prove the coherence theorem for bicategories (#12155) Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

yuma-mizuno

Parents