Theorem groupHomology.d₂₁_apply_mem_cycles₁

Modification history

2025-07-19 22:57

Mathlib/RepresentationTheory/Homological/GroupHomology/LowDegree.lean

fix(RepresentationTheory/Homological/GroupHomology/*): remove unused `DecidableEq` arguments (#27298) …

Modified groupHomology.d₂₁_apply_mem_cycles₁ View on Github →

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.d₂₁_apply_mem_cycles₁ View on Github →