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