Theorem AlgebraicTopology.DoldKan.Γ₀.splitting_map_eq_id

Modification history