You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
feat: definitions for Tannaka duality for finite groups#22173
Open
ybenmeur wants to merge 7 commits intomasterleanprover-community/mathlib4:masterfrom yb_tannaka-finite-groupsleanprover-community/mathlib4:yb_tannaka-finite-groupsCopy head branch name to clipboard
