Theorem groupCohomology.inhomogeneousCochains.ext

Modification history

2025-06-13 18:23
Mathlib/RepresentationTheory/GroupCohomology/Basic.lean
feat(RepresentationTheory/GroupCohomology): extra lemmas (#25815) …
Added groupCohomology.inhomogeneousCochains.extView on Github →