Theorem Cardinal.aleph0_mul_ofENat

Modification history