Step * of Lemma unit_wf

Unit ∈ Type
BY
(Unfold `unit` THEN Auto{1,3}-1) }


Latex:


Latex:
Unit  \mmember{}  Type


By


Latex:
(Unfold  `unit`  0  THEN  Auto\{1,3\}-1)




Home Index