| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |
A theorem and it's proof.
Nested Element Summary | |
| DESCRIPTION Additional description. |
| FORMAL_PROOF |
| FORMULA This formula is the theorem. |
| PROOF |
<xs:element name="THEOREM" substitutionGroup="NODETYPE"><xs:complexType></xs:element><xs:sequence></xs:complexType><xs:element minOccurs="0" name="DESCRIPTION"></xs:sequence><xs:complexType></xs:element>
</xs:complexType>
| |||||||
DETAILS: DOCUMENTATION | ELEMENTS | ATTRIBUTES | SOURCE | FRAMES | NO FRAMES |