Step
*
of Lemma
bool_wf
𝔹 ∈ Type
BY
{ (Unfold `bool` 0 THEN Auto{1,3}-1) }
Latex:
Latex:
\mBbbB{}  \mmember{}  Type
By
Latex:
(Unfold  `bool`  0  THEN  Auto\{1,3\}-1)
Home
Index