Commit 2022-05-13 09:53 03da6818
View on Github →feat(representation_theory): fdRep k G, the category of finite dim representations of G (#13740)
We verify that this inherits the rigid monoidal structure from FinVect G when G is a group.
feat(representation_theory): fdRep k G, the category of finite dim representations of G (#13740)
We verify that this inherits the rigid monoidal structure from FinVect G when G is a group.