Def CategoryTheory.commMonoidOfSkeletalBraided

Modification history

2023-06-08 08:49

Mathlib/CategoryTheory/Monoidal/Skeleton.lean

feat: port CategoryTheory.Monoidal.Skeleton (#4844)

Added CategoryTheory.commMonoidOfSkeletalBraided View on Github →