Theorem CategoryTheory.ChosenFiniteProducts.prodComparisonIso_comp

Modification history