Theorem Cardinal.power_le_power_left

Modification history