Step * of Lemma valueall-type_wf

[T:Type]. (valueall-type(T) ∈ Type)
BY
(Auto THEN Unfold `valueall-type` THEN RepeatFor ((MemCD THEN Try (Complete (Auto))))) }


Latex:


Latex:
\mforall{}[T:Type].  (valueall-type(T)  \mmember{}  Type)


By


Latex:
(Auto  THEN  Unfold  `valueall-type`  0  THEN  RepeatFor  2  ((MemCD  THEN  Try  (Complete  (Auto)))))




Home Index