Theorem pow_le_pow

Modification history