Def Equiv.Perm.vectorsProdEqOne

Modification history