Theorem abs_mul

Modification history