Theorem CategoryTheory.ChosenFiniteProducts.comp_toUnit

Modification history