Theorem Cardinal.pow_le

Modification history