Def AlgEquiv.ofLinearEquiv

Modification history