Theorem zero_lie

Modification history