Theorem CategoryTheory.CartesianMonoidalCategory.map_toUnit_comp_terminalComparison

Modification history