Step * of Lemma CR-responder1_wf

[s:SES]. (CR-responder1{i:l}(s) ∈ Basic1)
BY
ProveWfLemma⋅ }


Latex:



Latex:
\mforall{}[s:SES].  (CR-responder1\{i:l\}(s)  \mmember{}  Basic1)


By


Latex:
ProveWfLemma\mcdot{}




Home Index