Def groupCohomology.oneCocyclesOfIsMulOneCocycle

Modification history

2024-02-10 10:41

Mathlib/RepresentationTheory/GroupCohomology/LowDegree.lean

refactor(RepresentationTheory/GroupCohomology): tidy up 8599 and add more low degree cocycle API (#8785)

Added groupCohomology.oneCocyclesOfIsMulOneCocycle View on Github →