Theorem sign_mul

Modification history