mathlib
8b0ac8da - feat(category/monoidal): Drinfeld center (without monoidal structure)

Commit

4 years ago

feat(category/monoidal): Drinfeld center (without monoidal structure)

Author

kim-em

kim-em

Parents

Loading