Theorem ofLex_inv

Modification history