no goals
C✝ : Type u
inst✝² : Category C✝
C : Type u
inst✝¹ : Category C
inst✝ : Quiver.IsThin C
⊢ EssentiallySmall C ↔ Small (Skeleton C)
simp [essentiallySmall_iff, CategoryTheory.locallySmall_of_thin]