Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_topology.alternating_face_map_complex_obj_d

Modification history