30:T420,graph = dot`digraph "${id}" { rankdir = ${orientation}; Taylor [label="Taylor's Theorem"] least_upper_bound [label="least upper bound\nproperty"] real_numbers [label="def: real number" shape=box] continuous [label="def: continuous" shape=box] differentiable [label="def: differentiable" shape=box] integral [label="def: integral" shape=box] properties_of_integral [label="properties of\nthe integral"] const_fn [label="constant function"] FTC -> "Taylor" "properties_of_integral" -> "Taylor" "properties_of_integral" -> "FTC" "FTC1" -> "FTC" "const_fn" -> "FTC" "differentiable" -> "FTC1" "properties_of_integral" -> "FTC1" "continuous" -> "FTC1" "integral" -> "properties_of_integral" "continuous" -> "properties_of_integral" "least_upper_bound" -> "properties_of_integral" "real_numbers" -> "integral" "real_numbers" -> "continuous" "real_numbers" -> "least_upper_bound" "MVT" -> "const_fn" "real_numbers" -> "differentiable" "continuous" -> "differentiable" "EVT" -> "MVT" "differentiable" -> "MVT" "continuous" -> "EVT" "least_upper_bound" -> "EVT" }`31:[] 2e:{"title":"Tools","cells":[{"id":0,"value":"md`# Tools`","pinned":false,"hidden":false,"mode":"ojs"},{"id":299,"value":"function Prop(name, statement, proof=[], replace={}, reserved=[]){\n this.name = (s=name)=>s\n this.reserved = reserved\n this.hidden = (s)=>s\n if (!Array.isArray(statement))\n statement = [statement]\n let keys = Object.keys(replace)\n for (const key of keys) {\n statement = statement.map(x=>x.replace(key, replace.key))\n }\n this.statement = statement.map(x=>greyblock(x))\n if (!Array.isArray(proof))\n proof = [proof]\n this.proof = proof\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":19,"value":"function Proposition(name, statement, proof=[], label=null){\n this.name = (s=name)=>s\n this.label = (label == null) ? name.replace(\"_\", \" \") : label\n this.hidden = (s)=>s\n if (Array.isArray(statement))\n this.statement = statement.map(x=>greyblock(x))\n else\n this.statement = greyblock(statement)\n // if (!Array.isArray(proof))\n // proof = [proof]\n this.proof = proof //.map(x=>md`x + '

${tex`\\square`}

'`)\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":31,"value":"function Definition(name, definition, proof=[], label=null){\n this.name = (s=name)=>s\n this.label = (label == null) ? \"def: \" + name.replace(\"_\", \" \") : label\n this.hidden = (s)=>s\n this.definition = definition\n}","pinned":true,"hidden":false,"mode":"ojs"},{"id":257,"value":"md`## Colors`","pinned":false,"hidden":false,"mode":"ojs"},{"id":259,"value":"red = (s)=>\"\\\\color{red}\" + s + \"\\\\color{black}\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":275,"value":"green = (s)=>\"\\\\color{green}\" + s + \"\\\\color{black}\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":262,"value":"blue = (s)=>\"\\\\color{blue}\" + s + \"\\\\color{black}\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":266,"value":"greyblock = (x)=> md`

${x}

`","pinned":true,"hidden":false,"mode":"ojs"},{"id":280,"value":"greymargin = (s)=>md`

${s}`","pinned":true,"hidden":false,"mode":"ojs"},{"id":8,"value":"viewof id = {\n const {text} = submit({\n value: new URLSearchParams(html``.search).get(\"id\") || \"@neobourbaki/taylors-theorem\"\n });\n text.addEventListener(\"input\", () => {\n let v = text.value, m;\n if (m = /\\.js(\\?|$)/i.exec(v)) v = v.slice(0, m.index);\n if (m = /^https:\\/\\/(api\\.|beta\\.|)observablehq\\.com\\//i.exec(v)) v = v.slice(m[0].length);\n if (v !== text.value) text.value = v;\n });\n text.addEventListener(\"paste\", () => {\n Promises.delay(50).then(() => {\n text.form.dispatchEvent(new CustomEvent(\"submit\"));\n });\n });\n return text.form;\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":36,"value":"id","pinned":false,"hidden":false,"mode":"ojs"},{"id":15,"value":"viewof orientation = html``","pinned":false,"hidden":false,"mode":"ojs"},{"id":2,"value":"$30","pinned":true,"hidden":false,"mode":"ojs"},{"id":25,"value":"edges = Array.prototype.concat.apply([], [0,1,2,4].map(i => module.default.modules[i].variables))\n .filter(v => !v.from) // Don’t graph dependencies of imports.\n .filter(v => v.name)\n .filter(v => v.inputs.includes(\"Proposition\") || v.inputs.includes(\"Definition\"))\n .map((v, i) => {\n const inputs = v.inputs.filter(i => ![\"tex\", \"md\", \"width\", \"greyblock\", \"width_style\", \"Proposition\", \"Definition\"].includes(i));\n const name = v.name || `#${i}`;\n return inputs.map(input => `\"${input}\" -> \"${name}\" ${input}`).join(\"\\n\")\n })\n .join(\"\\n\")","pinned":true,"hidden":false,"mode":"ojs"},{"id":116,"value":"module.default.modules[0].variables[9]","pinned":true,"hidden":false,"mode":"ojs"},{"id":12,"value":"module = import(`https://api.observablehq.com/${id}.js`)","pinned":false,"hidden":false,"mode":"ojs"},{"id":6,"value":"import {dot} from \"@mbostock/graphviz\"","pinned":false,"hidden":false,"mode":"ojs"},{"id":10,"value":"import {submit} from \"@mbostock/more-deliberate-inputs\"","pinned":false,"hidden":false,"mode":"ojs"}],"files":"$W31","stdlib":"1","titling":"auto"}