Remark#

Qualified name: rsm.nodes.Remark

class rsm.nodes.Remark(title='', goals=None, stars=0, clocks=0, **kwargs)[source]#

Bases: Theorem

Methods

Attributes