Theorem CategoryTheory.CartesianMonoidalCategory.preservesLimit_pair_of_isIso_prodComparison

Modification history