Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_topology.alternating_face_map_complex.d_squared

Modification history