Theorem CategoryTheory.CartesianMonoidalCategory.comp_toUnit

Modification history