Theorem TannakaDuality.FiniteGroup.toRightFDRepComp_in_rightRegular

Modification history

2025-05-02 16:05
Mathlib/RepresentationTheory/Tannaka.lean
feat: Tannaka duality for finite groups (#22176) …
Added TannakaDuality.FiniteGroup.toRightFDRepComp_in_rightRegularView on Github →