minor
authorAnders Mörtberg <andersmortberg@gmail.com>
Sat, 20 May 2017 09:56:41 +0000 (11:56 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Sat, 20 May 2017 09:56:41 +0000 (11:56 +0200)
lectures/lecture2.ctt

index 607397eb635fa4edc8f18675e8a19fb89a78574a..cb0926c70043caf76947b087fd250306a06ef3ee 100644 (file)
@@ -116,7 +116,7 @@ interior of the square:
                    <i> a
 
 Here i corresponds to the left-to-right dimension and j corresponds to
-the down-to-up dimension. To compute the left and right endpoints just
+the down-to-up dimension. To compute the left and right sides just
 plug in i=0 and i=1 in the term inside the square:
 
 <j> p @ 0 /\ j = <j> p @ 0 = <j> a   (recall that p is a path from a to b)