Theorem le_self_pow₀

Modification history