Theorem Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_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_iff View 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_iff View on Github →