Theorem lt_self_pow

Modification history