---

Step * of Lemma dec_eq_type_wf

T:Type. (dec_eq_type(T)  )
BY
{ ProveWfLemma }


\mforall{}T:Type.  (dec\_eq\_type(T)  \mmember{}  \mBbbP{})


By

ProveWfLemma



Home Index