Theorem CategoryTheory.Idempotents.isEquivalence_whiskeringLeft_obj_toKaroubi_aux

Modification history