feat: port RepresentationTheory.GroupCohomology.Resolution (#5391)

leanprover-community · Jun 24, 2023 · 8bbc2aa · 8bbc2aa
1 parent 9b2bcfc
commit 8bbc2aa
Show file tree

Hide file tree

Showing 2 changed files with 710 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -2542,6 +2542,7 @@ import Mathlib.Probability.StrongLaw
 import Mathlib.Probability.Variance
 import Mathlib.RepresentationTheory.Action
 import Mathlib.RepresentationTheory.Basic
+import Mathlib.RepresentationTheory.GroupCohomology.Resolution
 import Mathlib.RepresentationTheory.Maschke
 import Mathlib.RepresentationTheory.Rep
 import Mathlib.RingTheory.Adjoin.Basic