Def AddEquiv.toLinearEquiv

Modification history