Theorem Rep.FiniteCyclicGroup.groupCohomologyπEven_eq_iff

Modification history

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πEven_eq_iffView on Github →