Theorem CategoryTheory.CartesianMonoidalCategory.preservesTerminalIso_id

Modification history