Theorem Cardinal.toNat_add

Modification history