Theorem Cardinal.aleph_toNat

Modification history