Theorem groupHomology.mem_cycles₁_iff

Modification history

2025-07-07 22:18
Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean
feat(RepresentationTheory/Homological/GroupHomology/LowDegree): API for n-cycles & n-boundaries for n = 1, 2 (#25882) …
Added groupHomology.mem_cycles₁_iffView on Github →