Theorem groupCohomology.resolution.quasiIso_forget₂_εToSingle₀

Modification history