Theorem Vector.snoc_cons

Modification history