<!doctypehtml><html lang=en><meta charset=utf-8><link href=/favicon.ico rel=icon><meta content=width=device-width,initial-scale=1 name=viewport><meta content=#000000 name=theme-color><link href=/logo192.png rel=apple-touch-icon><link crossorigin href=https://maxcdn.bootstrapcdn.com/bootstrap/4.4.1/css/bootstrap.min.css integrity=sha384-Vkoo8x4CGsO3+Hhxv8T/Q5PaXtkKtu6ug5TOeNV6gBiFeWPGFN9MuhOf23Q9Ifjh rel=stylesheet><link href=/manifest.json rel=manifest><title>
   Ï-Base
  </title><meta content="James Dabbs"name=author><meta content="A community database of topological theorems and spaces, with powerful search and automated proof deduction."name=description><meta content=website property=og:type><meta content=Ï-Base property=og:site_name><meta name=twitter:url property=og:url><meta content=Ï-Base name=twitter:title property=og:title><meta content="A community database of topological theorems and spaces, with powerful search and automated proof deduction."name=twitter:description property=og:description><meta content=/pi-base.png property=og:image><meta content=Ï-Base name=twitter:site><meta content=@jamesdabbs name=twitter:creator><link crossorigin href=https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/katex.min.css integrity=sha384-zB1R0rpPzHqg7Kpt0Aljp8JPLqbXI3bhnPWROx27a9N0Ll6ZP/+DiW/UqRcLbRjq rel=stylesheet><script crossorigin defer integrity=sha384-y23I5Q6l+B6vatafAwxRu/0oK/79VlbSz7Q9aiSZUvyWYIYsd+qj+o24G5ZU2zJz src=https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/katex.min.js></script><link href=/static/css/2.2a86faee.chunk.css rel=stylesheet><link href=/static/css/main.506f054b.chunk.css rel=stylesheet><body><noscript>The Ï-Base in an interactive browser app and requires JavaScript to run.</noscript><div id=root></div><script>!function(e){function r(r){for(var n,i,l=r[0],f=r[1],a=r[2],c=0,s=[];c<l.length;c++)i=l[c],Object.prototype.hasOwnProperty.call(o,i)&&o[i]&&s.push(o[i][0]),o[i]=0;for(n in f)Object.prototype.hasOwnProperty.call(f,n)&&(e[n]=f[n]);for(p&&p(r);s.length;)s.shift()();return u.push.apply(u,a||[]),t()}function t(){for(var e,r=0;r<u.length;r++){for(var t=u[r],n=!0,l=1;l<t.length;l++){var f=t[l];0!==o[f]&&(n=!1)}n&&(u.splice(r--,1),e=i(i.s=t[0]))}return e}var n={},o={1:0},u=[];function i(r){if(n[r])return n[r].exports;var t=n[r]={i:r,l:!1,exports:{}};return e[r].call(t.exports,t,t.exports,i),t.l=!0,t.exports}i.m=e,i.c=n,i.d=function(e,r,t){i.o(e,r)||Object.defineProperty(e,r,{enumerable:!0,get:t})},i.r=function(e){"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},i.t=function(e,r){if(1&r&&(e=i(e)),8&r)return e;if(4&r&&"object"==typeof e&&e&&e.__esModule)return e;var t=Object.create(null);if(i.r(t),Object.defineProperty(t,"default",{enumerable:!0,value:e}),2&r&&"string"!=typeof e)for(var n in e)i.d(t,n,function(r){return e[r]}.bind(null,n));return t},i.n=function(e){var r=e&&e.__esModule?function(){return e.default}:function(){return e};return i.d(r,"a",r),r},i.o=function(e,r){return Object.prototype.hasOwnProperty.call(e,r)},i.p="/";var l=this.webpackJsonpviewer=this.webpackJsonpviewer||[],f=l.push.bind(l);l.push=r,l=l.slice();for(var a=0;a<l.length;a++)r(l[a]);var p=f;t()}([])</script><script src=/static/js/2.409c580e.chunk.js></script><script src=/static/js/main.bcc04f59.chunk.js></script>