Theorem CategoryTheory.MonoidalCategory.triangle_assoc_comp_right_inv

Modification history