Theorem

A theorem (proved conjecture)

Implements

Fields

action (Action!)

Information about the (to be) performed action

fileRange (FileRange)

The FileRange of this Sentence's definition

fileVersion (FileVersion!)

The FileVersion to which this object belongs

locId (ID!)

The Loc/Id of the document

name (String!)

The name of the Sentence

oms (OMS!)

The OMS to which this Sentence belongs

proofAttempts ([ProofAttempt!]!)

The attempts to prove this Conjecture

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.
skip Int

Skip the first n entries

The default value is 0.
proofStatus (ProofStatus!)

The proof status of this Conjecture

symbols ([Symbol!]!)

The symbols used in this sentence

Argument Type Description
limit Int

Maximum number of entries to list

The default value is 20.
skip Int

Skip the first n entries

The default value is 0.
text (String!)

The definitional text of this Sentence