Def CategoryTheory.BraidedCategory.ofCartesianMonoidalCategory

Modification history