Theorem CategoryTheory.CartesianMonoidalCategory.associator_inv_snd

Modification history