Def CategoryTheory.nerve

Modification history

2023-04-28 06:56
Mathlib/AlgebraicTopology/Nerve.lean
feat: port AlgebraicTopology.Nerve (#3693)
Added CategoryTheory.nerveView on Github →