Theorem groupCohomology.isCocycle₁_of_mem_cocycles₁

Modification history