stp.BVMulNoUnderflow
====================

.. autofunction:: stp.BVMulNoUnderflow