Theorem CategoryTheory.ChosenFiniteProducts.prodComparisonIso_id

Modification history