Commit 2025-07-11 11:47 a5799a9e

feat(RepresentationTheory/Homological/GroupHomology/LowDegree): Identify cycles A n with cyclesₙ A for n = 0, 1, 2 (#25888) Given a k-linear G-representation A, this PR provides isomorphisms between:

• The abstract 0-cycles of A and A as a k-module
• The abstract 0-opcycles of A and A_G
• The abstract 1-cycles of A and the cycles₁ A defined as a submodule of G →₀ A
• The abstract 2-cycles of A and the cycles₂ A defined as a submodule of G × G →₀ A.