Theorem CategoryTheory.Idempotents.DoldKan.hΓ₀

Modification history