Theorem pow_le_pow_left'

Modification history