Theorem groupCohomology.map_one_of_isCocycle₁

Modification history