Step
*
of Lemma
kcomb_wf
∀[A,B:Type].  (K ∈ A ⟶ B ⟶ A)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[A,B:Type].    (K  \mmember{}  A  {}\mrightarrow{}  B  {}\mrightarrow{}  A)
By
Latex:
ProveWfLemma
Home
Index