Merge pull request #333 from joshpoll/master

Fix continuous map example.
penrose · Mar 25, 2020 · 3f077d9 · 3f077d9
2 parents b14be66 + cdb5c4e
commit 3f077d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/set-theory-domain/continuousmap.sub b/examples/set-theory-domain/continuousmap.sub
@@ -2,14 +2,14 @@ AutoLabel All
 
 Set A
 Set U
+Label U $f^{-1}(V)$
 Set Rn
 Label Rn $\mathbb{R}^n$
 IsSubset(U, A)
 IsSubset(A, Rn)
 
 Set B
 Set V
-Label V $f^{-1}(U)$
 Set Rm
 Label Rm $\mathbb{R}^m$
 IsSubset(V, B)