Theorem Cardinal.aleph_succ

Modification history