Theorem CategoryTheory.CartesianMonoidalCategory.associator_hom_snd_fst

Modification history