Def Equiv.Perm.VectorsProdEqOne.vectorEquiv

Modification history