Theorem pow_le_pow_of_le_left'

Modification history