Theorem groupHomology.inhomogeneousChains.ext

Modification history

2025-06-16 12:56
Mathlib/RepresentationTheory/Homological/GroupHomology/Basic.lean
feat(RepresentationTheory/Homological/GroupHomology/Basic): define group homology (#25868) …
Added groupHomology.inhomogeneousChains.extView on Github →