Theorem abs_mul_self

Modification history