Theorem Cardinal.aleph_zero

Modification history