Theorem nsmul_lie

Modification history