Mathlib v3 is deprecated. Go to Mathlib v4

Def algebraic_topology.inclusion_of_Moore_complex

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_complexView on Github →