Step
*
of Lemma
istype-atom
istype(Atom)
BY
{ TACTIC:Auto }
Latex:
Latex:
istype(Atom)
By
Latex:
TACTIC:Auto
Home
Index