Theorem Matrix.lieConj_apply

Modification history