Theorem pow_lt_one₀

Modification history