Theorem Cardinal.ofNat_le_ofENat

Modification history