Theorem enorm_pow

Modification history