Step
*
1
1
1
of Lemma
church_null_nil_lemma
church-true() ~ church-true()
BY
{ Try SqEqCD }
Latex:
Latex:
church-true()  \msim{}  church-true()
By
Latex:
Try  SqEqCD
Home
Index