Theorem Cardinal.power_le_power_right

Modification history