Theorem groupCohomology.toCocycles_comp_isoCocycles₂_hom

Modification history