Theorem pow_lt_pow_right₀

Modification history