Theorem Cardinal.aleph_mul_aleph0

Modification history