Theorem CategoryTheory.CartesianMonoidalCategory.toUnit_unique

Modification history