Previous: , Up: Rules Index [Contents]


6.5 Miscellaneous Rules

lm: Lemma
sp: Subproof
sq: Sequence
in: Induction

AltStyle によって変換されたページ (->オリジナル) /