Theorem CategoryTheory.Bicategory.triangle_assoc_comp_left_inv

Modification history