Theorem pow_le_pow_right

Modification history