Theorem CategoryTheory.MonoidalCategory.prodMonoidal_leftUnitor_hom_snd

Modification history