Theorem Cardinal.power_eq_two_power

Modification history