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