Def LieModuleEquiv.toLinearEquiv

Modification history