Theorem lie_zero

Modification history