Theorem Cardinal.toNat_ofENat

Modification history