Commit 2025-02-27 23:05 52cab443

feat(RepresentationTheory/Homological/GroupCohomology/Functoriality): low degree functoriality maps (#21758) 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). This PR provides specialised API for these maps in low degree. A future PR will add support for switching resolution.