Step * 1 of Lemma mul-swap


1. : ℤ
2. Top
3. Top
⊢ z
BY
SqReflexive }


Latex:


Latex:

1.  x  :  \mBbbZ{}
2.  y  :  Top
3.  z  :  Top
\mvdash{}  y  *  x  *  z  \msim{}  y  *  x  *  z


By


Latex:
SqReflexive




Home Index