Match Theorems ============== .. automodule:: newclid.match_theorems :members: :show-inheritance: :undoc-members: