Theorem pow_abs

Modification history