Theorem FintypeCat.isSkeleton

Modification history