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

.. automodule:: kdrag.theories.logic.axioms

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      beta_conv
      cong
      consider
      eqrefl
      eqsym
      eqtrans
      exists_cong
      ext
      forall_cong
      lambda_cong
      neg_ext
      proj
      rename_vars
      rename_vars2
      substitute_fresh_vars
      unfold
   
   

   
   
   

   
   
   





.. literalinclude:: ../../kdrag/theories/logic/axioms.py
   :language: python