Theorem AlgebraicTopology.DoldKan.Γ₀.splitting_iso_hom_eq_id

Modification history