Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_topology.map_alternating_face_map_complex

Modification history

2022-04-05 19:36
src/algebraic_topology/alternating_face_map_complex.lean
chore(algebraic_topology/simplex_category): removed ulift (#13183)
Modified algebraic_topology.map_alternating_face_map_complexView on Github →
2022-03-31 06:19
src/algebraic_topology/alternating_face_map_complex.lean
feat(algebraic_topology): map_alternating_face_map_complex (#13028) …
Added algebraic_topology.map_alternating_face_map_complexView on Github →