Theorem smul_lie

Modification history