Step
*
1
of Lemma
cycle_wf
1. n : ℕ
⊢ λx.x ∈ ℕn ⟶ ℕn
BY
{ Auto }
Latex:
Latex:
1.  n  :  \mBbbN{}
\mvdash{}  \mlambda{}x.x  \mmember{}  \mBbbN{}n  {}\mrightarrow{}  \mBbbN{}n
By
Latex:
Auto
Home
Index