kdrag.theories.logic.intuitionistic.Implies
===========================================

.. currentmodule:: kdrag.theories.logic.intuitionistic

.. autofunction:: Implies