kdrag.theories.logic.axioms.eqrefl
==================================

.. currentmodule:: kdrag.theories.logic.axioms

.. autofunction:: eqrefl