Theorem groupCohomology.resolution.quasiIsoOfForget₂εToSingle₀

Modification history