Theorem CategoryTheory.CartesianMonoidalCategory.default_eq_toUnit

Modification history