kdrag.tactics.simp\_tac
=======================

.. currentmodule:: kdrag.tactics

.. autofunction:: simp_tac