Step * of Lemma identity_wf

[A:Type]. (Id ∈ A ⟶ A)
BY
ProveWfLemma }


Latex:


Latex:
\mforall{}[A:Type].  (Id  \mmember{}  A  {}\mrightarrow{}  A)


By


Latex:
ProveWfLemma




Home Index