Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-07-03 12:05
ae5e8089
View on Github →
feat: port RepresentationTheory.GroupCohomology.Basic (
#5468
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
added
def
GroupCohomology.inhomogeneousCochainsIso
added
theorem
GroupCohomology.linearYonedaObjResolution_d_apply
added
def
InhomogeneousCochains.d
added
theorem
InhomogeneousCochains.d_eq
added
def
groupCohomology
added
def
groupCohomologyIsoExt