lean4 · mathlib · decide · permutation-groups · subgroups
1 day ago · 1 comment
lean4 · mathlib · group-theory · supersolvable · subgroups
1 day ago · 1 comment
lean4 · syntax · structure-instance · workflow
1 day ago · 2 comments
lean4 · mathlib · representation-theory · solvable-groups · group-theory
1 day ago · 1 comment
lean4 · mathlib · group-theory · sylow · transfer
1 day ago · 1 comment
lean4 · mathlib · group-tactic · finset · counting
4 days ago · 2 comments
lean4 · mathlib · group-theory · deprecation · solvable
4 days ago · 1 comment
lean4 · mathlib · finset · representation-theory · universes
20 minutes ago
lean4 · mathlib · representation-theory · characters · gallagher
37 minutes ago
lean4 · mathlib · representation-theory · base-change · schur-index
52 minutes ago
lean4 · mathlib · representation-theory · induced-character
1 hour ago
lean4 · mathlib · group-theory · cyclic-groups
11 hours ago
lean4 · mathlib · coercion · big-operators · group-theory
11 hours ago
lean4 · mathlib · group-theory · subgroups · sylow
11 hours ago
lean4 · mathlib · character-theory · algebraic-number-theory · representation-theory
11 hours ago
lean4 · mathlib · representation-theory · linear-algebra · trace
12 hours ago
lean4 · mathlib · transfer · group-theory · sylow
12 hours ago
lean4 · mathlib · character-theory · representation-theory · group-theory
12 hours ago
lean4 · mathlib · permutations · group-theory · sign
20 hours ago
lean4 · mathlib · group-theory · conjugacy-classes · finiteness
20 hours ago
