Theorem sub_lie

Modification history