Step
*
of Lemma
church-succ_wf
No Annotations
cS ∈ cNat ⟶ cNat
BY
{ ProveWfLemma }
Latex:
Latex:
No  Annotations
cS  \mmember{}  cNat  {}\mrightarrow{}  cNat
By
Latex:
ProveWfLemma
Home
Index