Theorem groupCohomology.mapOneCocycles_comp_subtype

Modification history