Theorem Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_iff

Modification history

2026-10-04 10:20
Mathlib/RepresentationTheory/Homological/GroupCohomology/FiniteCyclic.lean
chore(CategoryTheory): `End` and `Aut` as `1`-field structures (#43759) …
Modified Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_iffView on Github →
2026-03-24 21:13
Mathlib/RepresentationTheory/Homological/GroupCohomology/FiniteCyclic.lean
chore(RepresentationTheory): Refactor Rep (#36127) …
Modified Rep.FiniteCyclicGroup.groupCohomologyπOdd_eq_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_iffView on Github →