Theorem CategoryTheory.ChosenFiniteProducts.ofChosenFiniteProducts.triangle

Modification history