more theory for lists

[helm.git] / helm / software / matita / nlibrary / topology / igft-CIC-universes.svg

diff --git a/helm/software/matita/nlibrary/topology/igft-CIC-universes.svg b/helm/software/matita/nlibrary/topology/igft-CIC-universes.svg
index 49894fd46d27cb5cde34a4988bd8fcc2081cd628..524a15df8ad608ce9272ffd70917464bfa77e3c4 100644 (file)
--- a/helm/software/matita/nlibrary/topology/igft-CIC-universes.svg
+++ b/helm/software/matita/nlibrary/topology/igft-CIC-universes.svg
@@ -49,9 +49,9 @@
      objecttolerance="10"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="0.96"
-     inkscape:cx="116.61148"
-     inkscape:cy="211.75616"
+     inkscape:zoom="1.26"
+     inkscape:cx="140.40282"
+     inkscape:cy="191.23857"
      inkscape:document-units="px"
      inkscape:current-layer="g3726"
      showgrid="false"
@@ -59,7 +59,9 @@
      inkscape:window-height="747"
      inkscape:window-x="0"
      inkscape:window-y="26"
-     units="cm" />
+     units="cm"
+     showguides="true"
+     inkscape:guide-bbox="true" />
   <metadata
      id="metadata5599">
     <rdf:RDF>
@@ -197,33 +199,33 @@
        id="path6753"
        sodipodi:nodetypes="cc" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0;stroke-opacity:1"
        d="M 531.54598,838.44703 L 531.54598,783.23841"
        id="path6755" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0;stroke-opacity:1"
        d="M 532.06404,748.82285 L 532.06404,693.61423"
        id="path6757" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0;stroke-opacity:1"
        d="M 276.66103,836.89285 L 276.66103,781.68423"
        id="path6759" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1.02127696, 1.02127696;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2.0425539,2.0425539;stroke-dashoffset:0;stroke-opacity:1"
        d="M 277.69711,747.25802 L 277.69711,689.51835"
        id="path6761" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1.02127696, 1.02127696;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2.0425539,2.0425539;stroke-dashoffset:0;stroke-opacity:1"
        d="M 319.87901,670.05275 L 469.31509,670.05275"
        id="path6765"
        sodipodi:nodetypes="cc" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1.02127696, 1.02127696;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2.0425539,2.0425539;stroke-dashoffset:0;stroke-opacity:1"
        d="M 320.13803,763.30334 L 469.57411,763.30334"
        id="path6767"
        sodipodi:nodetypes="cc" />
     <path
-       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1.02127696, 1.02127696;stroke-dashoffset:0;stroke-opacity:1"
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1.02127695;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2.0425539,2.0425539;stroke-dashoffset:0;stroke-opacity:1"
        d="M 318.58386,856.03587 L 468.01994,856.03587"
        id="path6769"
        sodipodi:nodetypes="cc" />
@@ -247,76 +249,79 @@
     <g
        id="g3726"
        transform="translate(-196.38554,-21.460843)">
-      <path
-         id="path6777"
-         d="M 448.97379,1004.9376 L 504.18241,1004.9376"
-         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-opacity:1" />
-      <path
-         id="path6779"
-         d="M 448.9738,1026.178 L 504.18242,1026.178"
-         style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:1, 1;stroke-dashoffset:0;stroke-opacity:1" />
-      <text
-         id="text6781"
-         y="1007.5103"
-         x="510.66592"
-         style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
-         xml:space="preserve"><tspan
+      <g
+         id="g3416">
+        <path
+           style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-opacity:1"
+           d="M 448.97379,1004.9376 L 504.18241,1004.9376"
+           id="path6777" />
+        <path
+           style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-miterlimit:4;stroke-dasharray:2,2;stroke-dashoffset:0;stroke-opacity:1"
+           d="M 448.9738,1026.178 L 504.18242,1026.178"
+           id="path6779" />
+        <text
+           xml:space="preserve"
+           style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
+           x="510.66592"
            y="1007.5103"
+           id="text6781"><tspan
+             sodipodi:role="line"
+             id="tspan6783"
+             x="510.66592"
+             y="1007.5103">Has type</tspan></text>
+        <text
+           xml:space="preserve"
+           style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
            x="510.66592"
-           id="tspan6783"
-           sodipodi:role="line">Has type</tspan></text>
-      <text
-         id="text6785"
-         y="1029.7869"
-         x="510.66592"
-         style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
-         xml:space="preserve"><tspan
-           id="tspan6789"
            y="1029.7869"
-           x="510.66592"
-           sodipodi:role="line">Is included</tspan></text>
-      <rect
-         y="1000.0105"
-         x="634.06982"
-         height="28.993309"
-         width="102.58569"
-         id="rect3712"
-         style="opacity:1;fill:none;fill-opacity:1;stroke:#828282;stroke-width:1;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:6, 6;stroke-dashoffset:0;stroke-opacity:1" />
-      <text
-         id="text3714"
-         y="1016.7295"
-         x="650.32379"
-         style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
-         xml:space="preserve"><tspan
-           y="1016.7295"
+           id="text6785"><tspan
+             sodipodi:role="line"
+             x="510.66592"
+             y="1029.7869"
+             id="tspan6789">Is included</tspan></text>
+        <rect
+           style="opacity:1;fill:none;fill-opacity:1;stroke:#828282;stroke-width:1;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:6, 6;stroke-dashoffset:0;stroke-opacity:1"
+           id="rect3712"
+           width="102.58569"
+           height="28.993309"
+           x="634.06982"
+           y="1000.0105" />
+        <text
+           xml:space="preserve"
+           style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
            x="650.32379"
-           id="tspan3716"
-           sodipodi:role="line">Mirror</tspan></text>
-      <rect
-         y="969.02521"
-         x="426.02521"
-         height="19.277109"
-         width="328.91565"
-         id="rect3718"
-         style="opacity:0.26612902;fill:#a1a1a1;fill-opacity:1;stroke:none;stroke-width:1.70000005;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
-      <rect
-         transform="translate(188.07341,626.63597)"
-         y="339.97961"
-         x="236.14458"
-         height="71.084351"
-         width="333.73495"
-         id="rect3720"
-         style="opacity:1;fill:none;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
-      <text
-         id="text3722"
-         y="982.2782"
-         x="430.2421"
-         style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
-         xml:space="preserve"><tspan
-           y="982.2782"
+           y="1016.7295"
+           id="text3714"><tspan
+             sodipodi:role="line"
+             id="tspan3716"
+             x="650.32379"
+             y="1016.7295">Mirror</tspan></text>
+        <rect
+           style="opacity:0.26612902;fill:#a1a1a1;fill-opacity:1;stroke:none;stroke-width:1.70000005;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+           id="rect3718"
+           width="328.91565"
+           height="19.277109"
+           x="426.02521"
+           y="969.02521" />
+        <rect
+           style="opacity:1;fill:none;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+           id="rect3720"
+           width="333.73495"
+           height="71.084351"
+           x="236.14458"
+           y="339.97961"
+           transform="translate(188.07341,626.63597)" />
+        <text
+           xml:space="preserve"
+           style="font-size:12px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
            x="430.2421"
-           id="tspan3724"
-           sodipodi:role="line">Legenda</tspan></text>
+           y="982.2782"
+           id="text3722"><tspan
+             sodipodi:role="line"
+             id="tspan3724"
+             x="430.2421"
+             y="982.2782">Legenda</tspan></text>
+      </g>
     </g>
     <path
        style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-end:url(#Arrow2Lend);stroke-opacity:1"