Theorem FintypeCat.Skeleton.incl_mk_nat_card

Modification history