Theorem le_self_pow

Modification history