Theorem lie_neg

Modification history