Theorem Vector.reverse_snoc

Modification history