Theorem SimplexCategory.isSkeletonOf

Modification history