Def CategoryTheory.Center.ofBraidedObj

Modification history

2023-06-12 09:24

Mathlib/CategoryTheory/Monoidal/Center.lean

feat: port CategoryTheory.Monoidal.Center (#4941)

Added CategoryTheory.Center.ofBraidedObj View on Github →