Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_topology.inclusion_of_Moore_complex_map_f

Modification history

2021-12-23 22:35
src/algebraic_topology/alternating_face_map_complex.lean
feat(algebraic_topology): alternating face map complex of a simplicial object (#10927) …
Added algebraic_topology.inclusion_of_Moore_complex_map_fView on Github →