Def algebraic_topology.normalized_Moore_complex.map

Modification history

2021-05-15 08:16
src/algebraic_topology/Moore_complex.lean
feat(algebraic_topology): the Moore complex of a simplicial object (#6308) …
Added algebraic_topology.normalized_Moore_complex.mapView on Github →