Theorem one_le_pow_of_one_le

Modification history