kdrag.tactics.vprove
====================

.. currentmodule:: kdrag.tactics

.. autofunction:: vprove