Def algebraic_topology.dold_kan.split_mono_inclusion_of_Moore_complex_map

Modification history