Theorem Equiv.Perm.VectorsProdEqOne.zero_eq

Modification history