Theorem Cardinal.aleph0_mul_eq

Modification history