Theorem lie_add

Modification history