Theorem Cardinal.power_nat_le_max

Modification history