mathlib

5beaa084 - Merge branch 'bicategory-free-coherence' into bicategory-coherence-tactic