Theorem CategoryTheory.CartesianMonoidalCategory.associator_inv_fst_snd

Modification history