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