Theorem pow_lt_pow₀

Modification history