Theorem sum_lie

Modification history