Step
*
of Lemma
subtype_rel_vatype
ValueAllType ⊆r ValueAllType'
BY
{ (Unfold `vatype` 0 THEN Auto) }
Latex:
Latex:
ValueAllType  \msubseteq{}r  ValueAllType'
By
Latex:
(Unfold  `vatype`  0  THEN  Auto)
Home
Index