Theorem CategoryTheory.Idempotents.DoldKan.equivalence_counitIso

Modification history