Theorem groupCohomology.comp_d₀₁_eq

Modification history