Theorem zsmul_lie

Modification history