Theorem Cardinal.prod_eq_two_power

Modification history