Theorem groupCohomology.map_one_of_isMulCocycle₁

Modification history