mathlib
57cbf24c - Merge branch 'bicategory-coherence-tactic' into bicategory-test

Commit

4 years ago

Merge branch 'bicategory-coherence-tactic' into bicategory-test

Author

yuma-mizuno

yuma-mizuno

Parents

Loading