Theorem Vector.zipWith_tail

Modification history