Theorem CategoryTheory.MonoidalCategory.associator_inv_naturality

Modification history