Theorem Matrix.lie_apply

Modification history