Theorem mabs_pow

Modification history