Theorem Cardinal.mul_eq_max_of_aleph0_le_right

Modification history