Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_topology.normalized_Moore_complex.obj_d
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.obj_d
View on Github →