Theorem groupCohomology.map_inv_of_isMulOneCocycle

Modification history

2024-08-08 20:12
Mathlib/RepresentationTheory/GroupCohomology/LowDegree.lean
perf(RepresentationTheory.LowDegree): scope simp theorems with weak keys (#15622) …
Modified groupCohomology.map_inv_of_isMulOneCocycleView on Github →
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.map_inv_of_isMulOneCocycleView on Github →