Theorem pow_le_pow_right₀

Modification history