Theorem Cardinal.aleph0_mul_nat

Modification history