Previous:
Boolean Rules
, Up:
Rules Index
[
Contents
]
6.5 Miscellaneous Rules
•
lm
:
Lemma
•
sp
:
Subproof
•
sq
:
Sequence
•
in
:
Induction