Theorem pow_le_pow_of_le_left

Modification history