Theorem neg_lie

Modification history