Commit 2025-02-27 19:23 ed6582d3

feat(RepresentationTheory/GroupCohomology/Functoriality): add functoriality (#21756) Given a commutative ring k, a group homomorphism f : G →* H, a k-linear H-representation A, a k-linear G-representation B, and a representation morphism Res(f)(A) ⟶ B, we get a cochain map inhomogeneousCochains A ⟶ inhomogeneousCochains B and hence maps on cohomology Hⁿ(H, A) ⟶ Hⁿ(G, B). We also provide extra API for these maps in degrees 0, 1, 2. In a subsequent PR we will add support for switching resolution.