Theorem Cardinal.aleph0_mul_aleph

Modification history