Step * of Lemma id_perm_wf

T:Type. (id_perm() ∈ Perm(T))
BY
(ProveWfLemma THEN THEN Auto) }


Latex:


Latex:
\mforall{}T:Type.  (id\_perm()  \mmember{}  Perm(T))


By


Latex:
(ProveWfLemma  THEN  D  0  THEN  Auto)




Home Index