Step
*
of Lemma
varname_wf
∀[x,i:Id]. (varname(x;i) ∈ MaName)
BY
{ (Unfolds ``varname MaName`` 0 THEN Auto) }
Latex:
\mforall{}[x,i:Id]. (varname(x;i) \mmember{} MaName)
By
(Unfolds ``varname MaName`` 0 THEN Auto)
Home
Index