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