Theorem CategoryTheory.ChosenFiniteProducts.leftUnitor_hom

Modification history