Theorem CategoryTheory.skeleton_isSkeleton

Modification history