Q.E.D. is a step representing what needs to be proved:
Theorem <statement>
PROOF SKETCH: <english style proof scetch>
ASSUME: <label>. <predicate> ...
PROVE: <predicate>
NumberedList( <number>. <step|predicate> )
<number>. Q.E.D.
LET: <definitions>
Choose .... such that....
CASE: statement of assumptionis short for
ASSUME: Statemnt of assumption
PROVE: Q.E.D.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]