Theorem mabs_mul'

Modification history