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