{
  "course": "function-algebras-and-approximation",
  "lesson": "the-stone-weierstrass-theorem-for-functions-vanishing-at-infinity",
  "scope": "Exact result locators and public reading routes of the completed lesson; downstream and comparison links are distinguished from proof prerequisites.",
  "bindings": [
    {
      "label": "Real Analysis I",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C10",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C10",
      "source_line": 9,
      "role": "core background orientation",
      "anchor_present": true,
      "reader_sha256": "8bb11f8ee2af708b2e0ed97be02679886950e45b6364ef827a4552dbba4fec2b",
      "located_block_text_sha256": "d7c0145c28a2719318be4db9ec263d7feae3bff7ea764c16da12366ccc3d2dad"
    },
    {
      "label": "Real Analysis II",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C20",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C20",
      "source_line": 9,
      "role": "core background orientation",
      "anchor_present": true,
      "reader_sha256": "8bb11f8ee2af708b2e0ed97be02679886950e45b6364ef827a4552dbba4fec2b",
      "located_block_text_sha256": "1130da49dee2f1843b001758adfc78d7c794a38b28330fcebc3cc342c4ea2060"
    },
    {
      "label": "Point-Set Topology",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C90",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C90",
      "source_line": 9,
      "role": "core background orientation",
      "anchor_present": true,
      "reader_sha256": "8bb11f8ee2af708b2e0ed97be02679886950e45b6364ef827a4552dbba4fec2b",
      "located_block_text_sha256": "6be5d8208fcfe8d4f40dd11a128ea95769c91797608af0a6e283bf86efa9a36c"
    },
    {
      "label": "Lebl, Section 11.7",
      "original_url": "https://www.jirka.org/ra/html/sec_stoneweier.html",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_stoneweier.html",
      "source_line": 11,
      "role": "comparison with the compact metric theorem",
      "anchor_present": true,
      "reader_sha256": "62e6637f03e00390c9bcd5f72a50421a0705614a78636c39c6e328a797438998"
    },
    {
      "label": "Cauchy's theorem for cycles and its consequences, Lemma 3.1 and Theorem 3.2",
      "original_url": "course:foundations-of-von-neumann-algebras/cauchy-s-theorem-for-cycles-and-its-consequences#OA-FND-CT-03",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/cauchy-s-theorem-for-cycles-and-its-consequences.html#OA-FND-CT-03",
      "source_line": 629,
      "role": "terminology remark: holomorphic functions equal local power series; not used in the disc-algebra proof",
      "anchor_present": true,
      "reader_sha256": "30dcdbfa1efea6d05239c69d85ec764be67ab53cf3ed33d35cdbae9c18c15683",
      "located_block_text_sha256": "aead4468cf8812840bf68103fc81e58e049cf7d6c7317d2f0694d42de17c9f75"
    },
    {
      "label": "the lesson on C\\*-algebras and the continuous functional calculus",
      "original_url": "course:foundations-of-von-neumann-algebras/c-star-algebras-continuous-functional-calculus-automatic-continuity-positive-cones",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/courses/foundations-of-von-neumann-algebras/c-star-algebras-continuous-functional-calculus-automatic-continuity-positive-cones.html",
      "source_line": 681,
      "role": "downstream application, not an incoming proof premise",
      "anchor_present": true,
      "reader_sha256": "a6a3cf847a88331dae92e314c86692cf0a885bfbb329add6715f40ad7d7d47ed"
    },
    {
      "label": "Real Analysis I",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C10",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C10",
      "source_line": 688,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "8bb11f8ee2af708b2e0ed97be02679886950e45b6364ef827a4552dbba4fec2b",
      "located_block_text_sha256": "d7c0145c28a2719318be4db9ec263d7feae3bff7ea764c16da12366ccc3d2dad"
    },
    {
      "label": "Real Analysis II",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C20",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-C20",
      "source_line": 688,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "8bb11f8ee2af708b2e0ed97be02679886950e45b6364ef827a4552dbba4fec2b",
      "located_block_text_sha256": "1130da49dee2f1843b001758adfc78d7c794a38b28330fcebc3cc342c4ea2060"
    },
    {
      "label": "Proof, Logic, and Discrete Structures",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-B10",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/#course-B10",
      "source_line": 688,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "8bb11f8ee2af708b2e0ed97be02679886950e45b6364ef827a4552dbba4fec2b",
      "located_block_text_sha256": "3e8799d20aea9644a9ba44a334712c47aee685abc021403938e675018e01fb06"
    },
    {
      "label": "Real Analysis I, Lemma 5.2.7",
      "original_url": "https://www.jirka.org/ra/html/sec_rintprop.html#lemma_contint",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rintprop.html#lemma_contint",
      "source_line": 690,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "160b59e87ceda09d392bf73621b75aef72344aec1f928f18640977aaa84afb58",
      "located_block_text_sha256": "cfe970e3c4e139f84df75bd9ef41062cda53ebf75f53f972af941b7f6dd706d1"
    },
    {
      "label": "Proposition 5.2.2",
      "original_url": "https://www.jirka.org/ra/html/sec_rintprop.html#sec_rintprop-3-5",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rintprop.html#sec_rintprop-3-5",
      "source_line": 690,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "160b59e87ceda09d392bf73621b75aef72344aec1f928f18640977aaa84afb58",
      "located_block_text_sha256": "acdac5bfb71cee9aa2d532ddb10291b31816ea15d53b90fdf333e05cd89de289"
    },
    {
      "label": "Proposition 5.2.6",
      "original_url": "https://www.jirka.org/ra/html/sec_rintprop.html#sec_rintprop-4-8",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rintprop.html#sec_rintprop-4-8",
      "source_line": 690,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "160b59e87ceda09d392bf73621b75aef72344aec1f928f18640977aaa84afb58",
      "located_block_text_sha256": "53dda00c33eb443d2d5b063b1d6d4cfaf5c0840f89a53c7727df704fb234fb1d"
    },
    {
      "label": "Proposition 5.1.10",
      "original_url": "https://www.jirka.org/ra/html/sec_rint.html#intbound_prop",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rint.html#intbound_prop",
      "source_line": 690,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "e50422b32a44b596fd10dab64510c85b0d7ed7876169fb99d008ef32cbd97c79",
      "located_block_text_sha256": "de355639b7cb3f706efaac1be678ce5a5cef627e0ba62270070b4c13333af6cc"
    },
    {
      "label": "Proposition 5.2.4",
      "original_url": "https://www.jirka.org/ra/html/sec_rintprop.html#prop_integrallinear",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rintprop.html#prop_integrallinear",
      "source_line": 690,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "160b59e87ceda09d392bf73621b75aef72344aec1f928f18640977aaa84afb58",
      "located_block_text_sha256": "80d23efb30235eddfadbed69b7d5a4b5e688ad6de33447ac966b055f1c190e8d"
    },
    {
      "label": "Real Analysis I, Proposition 5.1.7",
      "original_url": "https://www.jirka.org/ra/html/sec_rint.html#prop_refinement",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rint.html#prop_refinement",
      "source_line": 691,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "e50422b32a44b596fd10dab64510c85b0d7ed7876169fb99d008ef32cbd97c79",
      "located_block_text_sha256": "ffa2af4026e8a68280cdc4dcf404c0e2a5a4a4055a2b93e2e7aa84f8f9284ff1"
    },
    {
      "label": "Proposition 5.1.8",
      "original_url": "https://www.jirka.org/ra/html/sec_rint.html#intulbound_prop",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_rint.html#intulbound_prop",
      "source_line": 691,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "e50422b32a44b596fd10dab64510c85b0d7ed7876169fb99d008ef32cbd97c79",
      "located_block_text_sha256": "83f031aa9970d82da8a225e9726fb09b6b14c2721b451c4d8931bda2a06dcb3b"
    },
    {
      "label": "Real Analysis II, Theorem 6.2.4",
      "original_url": "https://www.jirka.org/ra/html/sec_liminter.html#integralinterchange_thm",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_liminter.html#integralinterchange_thm",
      "source_line": 697,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "3ff1f89ec5e1f074da0b67b30a853fa03b09e445908873b84e3a068f1986162d",
      "located_block_text_sha256": "3548f280f44e27007fca6c7d9e50721a88d82c86e698819631ed8ca932ae279b"
    },
    {
      "label": "Real Analysis I, Theorem 5.3.3",
      "original_url": "https://www.jirka.org/ra/html/sec_ftc.html#thm_FTCv2",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_ftc.html#thm_FTCv2",
      "source_line": 697,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "1e3f3c4a7fa5d456fbc17932a1119e8f066372813accf429910ce426d1f28d79",
      "located_block_text_sha256": "2a767a77fbc00fc2717185b805686eaefb4ba8f5beb9d1c91475a1243ead360f"
    },
    {
      "label": "Theorem 5.3.1",
      "original_url": "https://www.jirka.org/ra/html/sec_ftc.html#thm_FTCv1",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_ftc.html#thm_FTCv1",
      "source_line": 697,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "1e3f3c4a7fa5d456fbc17932a1119e8f066372813accf429910ce426d1f28d79",
      "located_block_text_sha256": "44c05b61b39323904e9f1cce9857f7abb111faf4943063635b876cb131040846"
    },
    {
      "label": "Real Analysis II, Proposition 11.4.1",
      "original_url": "https://www.jirka.org/ra/html/sec_complexexp.html#sec_complexexp-3-7",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_complexexp.html#sec_complexexp-3-7",
      "source_line": 698,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "de1190803425074d3671d59c250feb14d69da1db01d0a51ad24be168e5a10e10",
      "located_block_text_sha256": "30d3910e1dc97a1947b5f5943cb92b5d21a446841b1e6332b6b5ab5b77fdf3e7"
    },
    {
      "label": "Proposition 11.4.2",
      "original_url": "https://www.jirka.org/ra/html/sec_complexexp.html#sec_complexexp-4-4",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_complexexp.html#sec_complexexp-4-4",
      "source_line": 698,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "de1190803425074d3671d59c250feb14d69da1db01d0a51ad24be168e5a10e10",
      "located_block_text_sha256": "7864b701a4ff831c452754c185c7669002f48e0a422c00393f1cf522c77ae38a"
    },
    {
      "label": "Theorem 1.2.1",
      "original_url": "https://www.jirka.org/ra/html/sec_setofreals.html#sec_setofreals-3-3",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_setofreals.html#sec_setofreals-3-3",
      "source_line": 709,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "542fdcc6299c3d177a8eae3b34b13a7151234ee8044b11a8b1a04a8ed95d2fa0",
      "located_block_text_sha256": "cdb9d6e41bc0f8611ee257a52c1d4831bf64eef8fe1c9470de68e3b61d797ebb"
    },
    {
      "label": "Real Analysis I, Example 0.3.8",
      "original_url": "https://www.jirka.org/ra/html/sec_basicset.html#example_geometricsum",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_basicset.html#example_geometricsum",
      "source_line": 710,
      "role": "proof prerequisite",
      "anchor_present": true,
      "reader_sha256": "0add7cec108c3c915558ce16b39ffc7b0fec1b5d7480ee39c331ba526def6724",
      "located_block_text_sha256": "0a9eb839fd458ef1d1ad871b0441f739f03083efe2b8c2ad51c31e68a7d870ec"
    },
    {
      "label": "Real Analysis I, Proposition 2.2.11",
      "original_url": "https://www.jirka.org/ra/html/sec_factslimsseqs.html#sec_factslimsseqs-6-6",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_factslimsseqs.html#sec_factslimsseqs-6-6",
      "source_line": 714,
      "role": "human-source reading entry",
      "anchor_present": true,
      "reader_sha256": "0a6fb3eccfb86c323555c9ae0cd27c06b4369b79c3a4c6f33253d7888fc02f9f",
      "located_block_text_sha256": "85977dae6168abbf13e1adf66a4511877b3f3f059f0815cd9ee9fa4326c5bfdc"
    },
    {
      "label": "Proof, Logic, and Discrete Structures, Theorem 3.1.9",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/courses/B10/reader/sec_counting-pascal.html#thm-binomial",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/courses/B10/reader/sec_counting-pascal.html#thm-binomial",
      "source_line": 715,
      "role": "human-source reading entry",
      "anchor_present": true,
      "reader_sha256": "2ac07473965b7667fd892e6413d36d36974773b0c12794244d1e243fbf2bd5dd",
      "located_block_text_sha256": "98706da05d1f7f1fe00187dd2d35d744fd6e8fc38432dad7c3ecadf7becf8790"
    },
    {
      "label": "Theorem 3.4.9",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/courses/B10/reader/sec_counting-combperm.html#subsec-combinations-9",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/courses/B10/reader/sec_counting-combperm.html#subsec-combinations-9",
      "source_line": 715,
      "role": "human-source reading entry",
      "anchor_present": true,
      "reader_sha256": "7c8f1b15ef5882868075a6ee3388589068cd83af144aabc73302b279233e1634",
      "located_block_text_sha256": "b68cf35a64249dc2ea783717f25ffeacafed8126640ba6461f7d6e5542cd1544"
    },
    {
      "label": "Real Analysis II, Lemma 7.1.4",
      "original_url": "https://www.jirka.org/ra/html/sec_metric.html#sec_metric-16",
      "reader_url": "https://kokunoyumeto.github.io/open-math-courses/human/lebl-basic-analysis/sec_metric.html#sec_metric-16",
      "source_line": 716,
      "role": "human-source reading entry",
      "anchor_present": true,
      "reader_sha256": "316fc23f24ef9bfdf955d2f156ca16be19ec878ed96439e9d4e95ab7b68a52fe",
      "located_block_text_sha256": "eadb6b1e5a178ab1524d5452aeb78cd30b41a83b87127069279b4d45485aa6de"
    },
    {
      "label": "the programme site",
      "original_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/courses/B10/reader/",
      "reader_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/en/courses/B10/reader/",
      "source_line": 726,
      "role": "human-source reading entry",
      "anchor_present": true,
      "reader_sha256": "fc6d0ec28a9b1de2dc6a4ae71938ae051d584276cc54c42de994784e2b814ed2"
    }
  ],
  "source_terms": {
    "Lebl": "CC-BY-SA-4.0 in the programme hosted edition; linked, not copied here.",
    "Levin": "CC-BY-NC-SA-4.0; linked, not copied here."
  }
}