Step
*
of Lemma
church-nil_wf
∀[T:Type]. (church-nil() ∈ Top ⟶ T ⟶ Top ⟶ T)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[T:Type].  (church-nil()  \mmember{}  Top  {}\mrightarrow{}  T  {}\mrightarrow{}  Top  {}\mrightarrow{}  T)
By
Latex:
ProveWfLemma
Home
Index