Theorem Cardinal.mul_aleph0_eq

Modification history