Theorem Cardinal.mul_le_max_of_aleph0_le_right

Modification history