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