Step * of Lemma dl-conj_wf

[L:Prop List]. (dl-conj(L) ∈ Prop)
BY
ProveWfLemma }


Latex:


Latex:
\mforall{}[L:Prop  List].  (dl-conj(L)  \mmember{}  Prop)


By


Latex:
ProveWfLemma




Home Index