group "Theorem"
Namespace:
{no namespace}
Content:
8 elements
Defined:
globally in pretext.xsd; see XML source
Includes:
definitions of 8 elements
Used:
at 1 location
Complex Content Model
theorem | lemma | corollary | claim | proposition | algorithm | fact | identity
Content Model Elements (8):
algorithm, claim, corollary, fact, identity, lemma, proposition, theorem
Known Usage Locations
XML Source (see within schema source)
<xs:group name="Theorem">
<xs:choice>
<xs:element ref="theorem"/>
<xs:element ref="lemma"/>
<xs:element ref="corollary"/>
<xs:element ref="claim"/>
<xs:element ref="proposition"/>
<xs:element ref="algorithm"/>
<xs:element ref="fact"/>
<xs:element ref="identity"/>
</xs:choice>
</xs:group>
Content Element Detail (all declarations; defined within this component only; 8/8)
algorithm
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="algorithm"/>
claim
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="claim"/>
corollary
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="corollary"/>
fact
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="fact"/>
identity
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="identity"/>
lemma
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="lemma"/>
proposition
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="proposition"/>
theorem
Type:
TheoremLike, complex content
XML Source (see within schema source)
<xs:element ref="theorem"/>
XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set