Theorem CategoryTheory.CartesianMonoidalCategory.preservesLimit_empty_of_isIso_terminalComparison

Modification history