Theorem leibniz_lie

Modification history