Theorem groupCohomology.mem_oneCoboundaries_of_mem_range

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)

Deleted groupCohomology.mem_oneCoboundaries_of_mem_range View on Github →

2023-10-27 09:57

Mathlib/RepresentationTheory/GroupCohomology/LowDegree.lean

feat(RepresentationTheory/GroupCohomology): add some API for group cohomology in low degree (#7734)

Added groupCohomology.mem_oneCoboundaries_of_mem_range View on Github →