Def LieEquiv.toLinearEquiv

Modification history