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