Theorem lie_zsmul

Modification history