Def groupHomology.IsBoundary₂

Modification history

2025-07-10 15:14

Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean

feat(RepresentationTheory/Homological/GroupHomology/LowDegree): add `IsCycle₁` predicate and friends (#25884) …

Added groupHomology.IsBoundary₂ View on Github →