Theorem pow_le_pow_of_le_one'

Modification history