Theorem lie_self

Modification history