Theorem Cardinal.toNat_toENat

Modification history