theorems = data.theorems.map(t => {return {"characters": t.description.length, "refs": t.refs.length, "periods": t.description.split(".").length-1}})
`Let $p$ be the non-isolated point of an almost discrete space.
Any neighborhood of $p$ is closed.
Any point $x\neq p$ has a smallest neighborhood $\{x\}$, which must exist in any basis.
The closure of such a neighborhood must be either $\{x\}$ or $\{x,p\}$.
Therefore, if the space is not semiregular, there must exist some $y$ such that
$\operatorname{cl}\{y\}=\{y,p\}$ and $\operatorname{in}\{y,p\}=\{y,p\}$,
giving us a finite neighborhood of $p$.
Note that an {P203} space that is not {P10} must be
the disjoint union of the {S10} and a {P52} space.`.length
data = fetch(`https://pi-base-bundles.s3.us-east-2.amazonaws.com/refs/heads/${branch}.json`).then(response => response.json());
data.theorems[d3.maxIndex(theorems, d => d["character count"])]
One platform to build and deploy the best data apps
Experiment and prototype by building visualizations in live JavaScript notebooks. Collaborate with your team and decide which concepts to build out.
Use Observable Framework to build data apps locally. Use data loaders to build in any language or library, including Python, SQL, and R.
Seamlessly deploy to Observable. Test before you ship, use automatic deploy-on-commit, and ensure your projects are always up-to-date.