Mathlib Changelog
v4
Changelog
About
Github
Theorem
groupCohomology.π_map
Modification history
2025-06-13 18:23
Mathlib/RepresentationTheory/GroupCohomology/Functoriality.lean
feat(RepresentationTheory/GroupCohomology): extra lemmas (#25815) …
Added
groupCohomology.π_map
View on Github →