Theorem pow_le_one₀

Modification history