Theorem self_le_pow

Modification history