Subproof# Qualified name: rsm.nodes.Subproof class rsm.nodes.Subproof(**kwargs)[source]# Bases: NodeWithChildren Methods Attributes