Step
*
of Lemma
pand?_wf
∀[v:formula()]. (pand?(v) ∈ 𝔹)
BY
{ xxxDepprodCoDatatypeRecognizerWf⋅xxx }
Latex:
Latex:
\mforall{}[v:formula()].  (pand?(v)  \mmember{}  \mBbbB{})
By
Latex:
xxxDepprodCoDatatypeRecognizerWf\mcdot{}xxx
Home
Index