Theorem ofMul_vadd

Modification history