Theorem CategoryTheory.MonoidalCategory.prodMonoidal_rightUnitor_hom_fst

Modification history