Mathlib Changelog
v4
Changelog
About
Github
Theorem
TannakaDuality.FiniteGroup.leftRegular_apply
Modification history
2025-03-13 06:53
Mathlib/RepresentationTheory/Tannaka.lean
feat: definitions for Tannaka duality for finite groups (#22173) …
Added
TannakaDuality.FiniteGroup.leftRegular_apply
View on Github →