Theorem CategoryTheory.MonoidalCategory.leftUnitor_conjugation

Modification history