Theorem groupCohomology.map_one_snd_of_isMulCocycle₂

Modification history