Theorem groupCohomology.isCocycle₂_of_mem_cocycles₂

Modification history