Def algebraic_topology.dold_kan.N₁_iso_normalized_Moore_complex_comp_to_karoubi

Modification history