Theorem CategoryTheory.CartesianMonoidalCategory.associator_hom_snd_snd

Modification history