Subproof
========

Qualified name: ``rsm.nodes.Subproof``

.. currentmodule:: rsm.nodes

.. autoclass:: Subproof
   :show-inheritance:
   :members:

   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
      

   
   .. rubric:: Attributes

   .. autosummary::
     
     ~Subproof.label
     ~Subproof.types
     ~Subproof.number
     ~Subproof.nonum
     ~Subproof.reftext_template