Theorem groupCohomology.map_cochainsFunctor_shortExact

Modification history