Theorem groupCohomology.smul_map_inv_div_map_inv_of_isMulTwoCocycle

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.smul_map_inv_div_map_inv_of_isMulTwoCocycle View on Github →