Theorem sum_lie_sum

Modification history