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