Step
*
of Lemma
emptyset_wf
{} ∈ Set{i:l}
BY
{ ProveWfLemma }
Latex:
Latex:
\{\}  \mmember{}  Set\{i:l\}
By
Latex:
ProveWfLemma
Home
Index