Proposition# Qualified name: rsm.nodes.Proposition class rsm.nodes.Proposition(title='', goals=None, stars=0, clocks=0, **kwargs)[source]# Bases: Theorem Methods Attributes