Theorem Cardinal.mk_mul_aleph0_eq

Modification history