Theorem mabs_mul_three

Modification history