Theorem CategoryTheory.CartesianMonoidalCategory.preservesTerminalIso_comp

Modification history