Theorem CategoryTheory.ChosenFiniteProducts.prodComparison_natural_whiskerRight

Modification history