mathlib3
27c213bc - feat(category_theory): braided and symmetric categories

Commit

5 years ago

feat(category_theory): braided and symmetric categories

Author

kim-em

kim-em

Parents

Loading