Def TannakaDuality.FiniteGroup.rightFDRep

Modification history

2025-05-02 16:05
Mathlib/RepresentationTheory/Tannaka.lean
feat: Tannaka duality for finite groups (#22176) …
Modified TannakaDuality.FiniteGroup.rightFDRepView on Github →
2025-03-13 06:53
Mathlib/RepresentationTheory/Tannaka.lean
feat: definitions for Tannaka duality for finite groups (#22173) …
Added TannakaDuality.FiniteGroup.rightFDRepView on Github →