horiz_var_array
===============

.. currentmodule:: proveit

.. autofunction:: horiz_var_array