Theorem groupCohomology.map_one_snd_of_isCocycle₂

Modification history