81 lines
3.6 KiB
XML
81 lines
3.6 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
<!-- Generated by graphviz version 2.42.4 (0)
|
|
-->
|
|
<!-- Title: deps Pages: 1 -->
|
|
<svg width="275pt" height="215pt"
|
|
viewBox="0.00 0.00 275.00 215.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 211)">
|
|
<title>deps</title>
|
|
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-211 271,-211 271,4 -4,4"/>
|
|
<text text-anchor="start" x="8" y="-194.4" font-family="Inter" font-weight="bold" font-size="12.00" fill="#000000">Theorem dependencies M4, 6 results</text>
|
|
<!-- par_context -->
|
|
<g id="node1" class="node">
|
|
<title>par_context</title>
|
|
<g id="a_node1"><a xlink:title="par_context theory/Parallel.v proved">
|
|
<ellipse fill="#ffffff" stroke="#000000" cx="43.26" cy="-18" rx="40.98" ry="18"/>
|
|
<text text-anchor="middle" x="43.26" y="-15.8" font-family="Inter" font-size="9.00" fill="#000000">par_context</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- par_red1_iff -->
|
|
<g id="node2" class="node">
|
|
<title>par_red1_iff</title>
|
|
<g id="a_node2"><a xlink:title="par_red1_iff theory/Parallel.v proved">
|
|
<ellipse fill="#ffffff" stroke="#000000" cx="43.26" cy="-68" rx="40.33" ry="18"/>
|
|
<text text-anchor="middle" x="43.26" y="-65.8" font-family="Inter" font-size="9.00" fill="#000000">par_red1_iff</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- par_to_red1_or_eq -->
|
|
<g id="node4" class="node">
|
|
<title>par_to_red1_or_eq</title>
|
|
<g id="a_node4"><a xlink:title="par_to_red1_or_eq theory/Parallel.v proved">
|
|
<ellipse fill="#ffffff" stroke="#000000" cx="208.72" cy="-93" rx="57.97" ry="18"/>
|
|
<text text-anchor="middle" x="208.72" y="-90.8" font-family="Inter" font-size="9.00" fill="#000000">par_to_red1_or_eq</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- par_red1_iff->par_to_red1_or_eq -->
|
|
<g id="edge1" class="edge">
|
|
<title>par_red1_iff->par_to_red1_or_eq</title>
|
|
<path fill="none" stroke="#000000" stroke-width="0.8" d="M81.77,-73.74C102.1,-76.85 127.66,-80.75 150.43,-84.24"/>
|
|
<polygon fill="#000000" stroke="#000000" stroke-width="0.8" points="150.21,-86.33 156.46,-85.16 150.85,-82.18 150.21,-86.33"/>
|
|
</g>
|
|
<!-- red1_or_eq_to_par -->
|
|
<g id="node6" class="node">
|
|
<title>red1_or_eq_to_par</title>
|
|
<g id="a_node6"><a xlink:title="red1_or_eq_to_par theory/Parallel.v proved">
|
|
<ellipse fill="#ffffff" stroke="#000000" cx="208.72" cy="-43" rx="57.97" ry="18"/>
|
|
<text text-anchor="middle" x="208.72" y="-40.8" font-family="Inter" font-size="9.00" fill="#000000">red1_or_eq_to_par</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- par_red1_iff->red1_or_eq_to_par -->
|
|
<g id="edge2" class="edge">
|
|
<title>par_red1_iff->red1_or_eq_to_par</title>
|
|
<path fill="none" stroke="#000000" stroke-width="0.8" d="M81.77,-62.26C102.1,-59.15 127.66,-55.25 150.43,-51.76"/>
|
|
<polygon fill="#000000" stroke="#000000" stroke-width="0.8" points="150.85,-53.82 156.46,-50.84 150.21,-49.67 150.85,-53.82"/>
|
|
</g>
|
|
<!-- par_reflexive -->
|
|
<g id="node3" class="node">
|
|
<title>par_reflexive</title>
|
|
<g id="a_node3"><a xlink:title="par_reflexive theory/Parallel.v proved">
|
|
<ellipse fill="#ffffff" stroke="#000000" cx="43.26" cy="-118" rx="42.95" ry="18"/>
|
|
<text text-anchor="middle" x="43.26" y="-115.8" font-family="Inter" font-size="9.00" fill="#000000">par_reflexive</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
<!-- red1_in_par -->
|
|
<g id="node5" class="node">
|
|
<title>red1_in_par</title>
|
|
<g id="a_node5"><a xlink:title="red1_in_par theory/Parallel.v proved">
|
|
<ellipse fill="#ffffff" stroke="#000000" cx="43.26" cy="-168" rx="40.33" ry="18"/>
|
|
<text text-anchor="middle" x="43.26" y="-165.8" font-family="Inter" font-size="9.00" fill="#000000">red1_in_par</text>
|
|
</a>
|
|
</g>
|
|
</g>
|
|
</g>
|
|
</svg>
|
