Theorem lie_skew

Modification history