Theorem Equiv.Perm.VectorsProdEqOne.rotate_zero

Modification history