Adamic Code: Difference between revisions

← Older edit Newer edit →

@@ Line 208: / Line 208: @@
 ===Lesson 7===
-[[§1.1.3.1]=P]A ∃ V<sub>1</sub>⇒(C<sub>1</sub>VV<sub>1</sub>C<sub>2</sub>VV<sub>2</sub>C<sub>3</sub>)?
+[[§1.1.3.1]=D]A ∃ cV⇒(cV-...-cV)
 ===Lesson 8===