Theorem one_le_pow₀

Modification history