Theorem CategoryTheory.ChosenFiniteProducts.rightUnitor_hom

Modification history