Theorem Cardinal.succ_aleph0

Modification history