Theorem CategoryTheory.MonoidalCategory.associator_conjugation

Modification history