Theorem pow_le_pow_iff_right

Modification history