Theorem ofLex_mul

Modification history