Step
*
of Lemma
church-Nat_wf
No Annotations
cNat ∈ 𝕌'
BY
{ ProveWfLemma }
Latex:
Latex:
No  Annotations
cNat  \mmember{}  \mBbbU{}'
By
Latex:
ProveWfLemma
Home
Index