Theorem lie_sub

Modification history