vert_var_array
==============

.. currentmodule:: proveit

.. autofunction:: vert_var_array