Theorem CategoryTheory.CartesianMonoidalCategory.associator_hom_fst

Modification history