---

Step * of Lemma gammaFIM_wf

[T6:Type]. [a:T6 List]. [g:T6 List  ]. [h:T6 List  T6].  (gammaFIM(a;g;h)  T6 List)
BY
{ ProveWfLemma }


\mforall{}[T6:Type].  \mforall{}[a:T6  List].  \mforall{}[g:T6  List  {}\mrightarrow{}  \mBbbZ{}].  \mforall{}[h:T6  List  {}\mrightarrow{}  T6].    (gammaFIM(a;g;h)  \mmember{}  T6  List)


By

ProveWfLemma



Home Index