Theorem uzpow_mul

Modification history