Def LinearEquiv.lieConj

Modification history