Theorem groupCohomology.isMulCocycle₁_of_mem_cocycles₁

Modification history