Theorem groupCohomology.map_1_one

Modification history