---

Step * 2 of Lemma fpf-conversion-test


4 : 2 ⊕ 6 : 2 ⊕ 7 : 5 = 4 : 2 ⊕ 6 : 2 ⊕ 7 : 5 ∈ i:ℤ fp-> ℤ
BY
{ Auto }

---

Latex:



4  :  2  \moplus{}  6  :  2  \moplus{}  7  :  5  =  4  :  2  \moplus{}  6  :  2  \moplus{}  7  :  5


By

Auto

---

Home Index