Theorem abs_mul_abs_self

Modification history