---

Step * 1 of Lemma csm-fiber-comp-sq


1. G : Top
2. A : Top
3. T : Top
4. a : Top
5. cA : Top
6. cT : Top
7. H : Top
8. s : Top
9. f : Top
⊢ ((A)p)s+ ~ ((A)s)p
BY
{ (RW (SubC (SymbCompC [] 100)) 0 THEN Auto) }

---

Latex:

---

Latex:

1.  G  :  Top
2.  A  :  Top
3.  T  :  Top
4.  a  :  Top
5.  cA  :  Top
6.  cT  :  Top
7.  H  :  Top
8.  s  :  Top
9.  f  :  Top
\mvdash{}  ((A)p)s+  \msim{}  ((A)s)p


By

---

Latex:
(RW  (SubC  (SymbCompC  []  100))  0  THEN  Auto)

---

Home Index