Theorem CategoryTheory.Nerve.δ₀_eq

Modification history