Def AlgebraicTopology.DoldKan.Γ₀.splitting

Modification history