Theorem pow_le_pow_right'

Modification history