Theorem CategoryTheory.CartesianMonoidalCategory.preservesTerminalIso_hom

Modification history