3 "sets/sets.ma" -> "logic/equality.ma" [];
5 "topology/igt.ma" -> "logic/connectives.ma" [];
6 "topology/igt.ma" -> "properties/relations.ma" [];
7 "logic/equality.ma" [];
8 "logic/equality.ma" -> "logic/connectives.ma" [];
10 ".unnamed.ma" -> "logic/pts.ma" [];
11 "logic/connectives.ma" [];
12 "logic/connectives.ma" -> "logic/pts.ma" [];
13 "algebra/magmas.ma" [];
14 "algebra/magmas.ma" -> "sets/sets.ma" [];
15 "properties/relations.ma" [];
16 "properties/relations.ma" -> "logic/pts.ma" [];