Theorem Equiv.Perm.VectorsProdEqOne.rotate_length

Modification history