Theorem groupCohomology.smul_map_inv_sub_map_inv_of_isCocycle₂

Modification history