Theorem le_of_pow_le_pow

Modification history