Def Cardinal.toNat

Modification history