Theorem Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_zero_iff

Modification history

2026-03-24 21:13
Mathlib/RepresentationTheory/Homological/GroupCohomology/FiniteCyclic.lean
chore(RepresentationTheory): Refactor Rep (#36127) …
Modified Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_zero_iffView on Github →
2025-12-20 08:12
Mathlib/RepresentationTheory/Homological/GroupCohomology/FiniteCyclic.lean
feat(RepresentationTheory/Homological/GroupCohomology): cohomology of finite cyclic groups (#32898) …
Added Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_zero_iffView on Github →