Theorem Cardinal.zero_power_le

Modification history