Theorem FintypeCat.Skeleton.is_skeletal

Modification history