mathlib3
841aef25 - feat(algebraic_topology): the nerve of a category (#14304)

Commit

3 years ago

feat(algebraic_topology): the nerve of a category (#14304)

Author

joelriou

joelriou

Parents

Loading