Def Equiv.Perm.VectorsProdEqOne.equivVector

Modification history