Def AlgEquiv.toLinearMap

Modification history