Theorem CategoryTheory.CartesianMonoidalCategory.rightUnitor_hom

Modification history