Theorem self_lt_pow

Modification history