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