nLab twosets_op_with_names20170618

<rdf:RDF><cc:Work rdf:about=''><dc:format>image/svg+xml</dc:format><dc:type rdf:resource='http://purl.org/dc/dcmitype/StillImage'></dc:type><dc:title></dc:title></cc:Work></rdf:RDF><sodipodi:namedview bordercolor='#666666' borderopacity='1' fit-margin-bottom='0' fit-margin-left='0' fit-margin-right='0' fit-margin-top='0' gridtolerance='10' guidetolerance='10' id='namedview4480' inkscape:current-layer='g4488' inkscape:cx='223.55587' inkscape:cy='163.80719' inkscape:pageopacity='0' inkscape:pageshadow='2' inkscape:window-height='707' inkscape:window-maximized='0' inkscape:window-width='1045' inkscape:window-x='45' inkscape:window-y='29' inkscape:zoom='0.64' objecttolerance='10' pagecolor='#ffffff' showgrid='false'></sodipodi:namedview>7 { } { s,t } t end loop l s end fip con s ract con t ract

Created on June 18, 2017 at 17:36:21. See the history of this page for a list of all contributions to it.