Commit 2023-04-28 06:56 85f0cc50

View on Github →

feat: port AlgebraicTopology.Nerve (#3693)

Estimated changes

Modified Mathlib.lean

Created Mathlib/AlgebraicTopology/Nerve.lean

added def CategoryTheory.nerve

added def CategoryTheory.nerveFunctor