Def algebraic_topology.dold_kan.compatibility_Γ₂N₁_Γ₂N₂

Modification history