Theorem CategoryTheory.MonoidalCategory.associator_inv_conjugation

Modification history