kdrag.property
==============

.. automodule:: kdrag.property

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      assoc_comm
      assoc_norm
      comm_norm
      idem_norm
   
   

   
   
   .. rubric:: Classes

   .. autosummary::
   
      GenericProof
      TypeClass
   
   

   
   
   





.. literalinclude:: ../../kdrag/property.py
   :language: python