Theorem CategoryTheory.CartesianMonoidalCategory.associator_inv_fst_fst

Modification history