Step
*
1
1
1
of Lemma
const_df_ap_lemma
1. a : Top@i
2. b : Top@i
⊢ <stateless-dataflow(a.b), b> ~ <stateless-dataflow(a.b), b>
BY
{ Try SqEqCD }
Latex:
Latex:
1.  a  :  Top@i
2.  b  :  Top@i
\mvdash{}  <stateless-dataflow(a.b),  b>  \msim{}  <stateless-dataflow(a.b),  b>
By
Latex:
Try  SqEqCD
Home
Index