{
  "readings": [
    {
      "id": "AN03-U027",
      "title": "Changing an interior frame to extend an invertible matrix",
      "source": "src/matrix-extension.md",
      "reader": "matrix-extension.html",
      "tex": "tex/matrix-extension.tex",
      "pdf": "pdf/matrix-extension.pdf",
      "source_sha256": "4099b82f3d023914c170e4e31c265a3698224ef9b4af8c90f9ada93a2852ca31",
      "license": "CC0-1.0",
      "notice": "CC0 1.0",
      "scope": "Complete lesson, including all original formulas, examples and proofs.",
      "historical_reader_source_sha256": "53633c324a05a331beaf873fd86e9b378e78461c0b58b97082f15c396b6403fc",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "4099b82f3d023914c170e4e31c265a3698224ef9b4af8c90f9ada93a2852ca31",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "heading_aliases": [
        {
          "line": 1,
          "ids": [
            "changing-an-interior-frame-to-extend-an-invertible-matrix"
          ],
          "heading": "Changing an interior frame to extend an invertible matrix",
          "level": 1
        },
        {
          "line": 7,
          "ids": [
            "AN03-MEX-001",
            "an03-mex-001-statement-types-and-elementary-inputs",
            "1-statement-types-and-elementary-inputs",
            "statement-types-and-elementary-inputs"
          ],
          "heading": "1. Statement, types, and elementary inputs",
          "level": 2
        },
        {
          "line": 47,
          "ids": [
            "AN03-MEX-002",
            "an03-mex-002-a-matrix-transport-equation-with-smooth-parameters",
            "2-a-matrix-transport-equation-with-smooth-parameters",
            "a-matrix-transport-equation-with-smooth-parameters"
          ],
          "heading": "2. A matrix transport equation with smooth parameters",
          "level": 2
        },
        {
          "line": 129,
          "ids": [
            "AN03-MEX-003",
            "an03-mex-003-the-two-coordinate-systems-and-their-exact-connection",
            "3-the-two-coordinate-systems-and-their-exact-connection",
            "the-two-coordinate-systems-and-their-exact-connection"
          ],
          "heading": "3. The two coordinate systems and their exact connection",
          "level": 2
        },
        {
          "line": 186,
          "ids": [
            "AN03-MEX-004",
            "an03-mex-004-a-smooth-frame-from-all-radial-paths",
            "4-a-smooth-frame-from-all-radial-paths",
            "a-smooth-frame-from-all-radial-paths"
          ],
          "heading": "4. A smooth frame from all radial paths",
          "level": 2
        },
        {
          "line": 244,
          "heading": "What radial transport does to the original connection",
          "ids": [
            "what-radial-transport-does-to-the-original-connection"
          ],
          "level": 3
        },
        {
          "line": 290,
          "ids": [
            "AN03-MEX-005",
            "an03-mex-005-freeze-the-exterior-radius-while-fixing-the-open-domain",
            "5-freeze-the-exterior-radius-while-fixing-the-open-domain",
            "freeze-the-exterior-radius-while-fixing-the-open-domain"
          ],
          "heading": "5. Freeze the exterior radius while fixing the open domain",
          "level": 2
        },
        {
          "line": 335,
          "ids": [
            "AN03-MEX-006",
            "an03-mex-006-an-example-and-an-explicit-test-of-the-factor-order",
            "6-an-example-and-an-explicit-test-of-the-factor-order",
            "an-example-and-an-explicit-test-of-the-factor-order"
          ],
          "heading": "6. An example and an explicit test of the factor order",
          "level": 2
        },
        {
          "line": 369,
          "heading": "A computed transport with a parameter",
          "ids": [
            "a-computed-transport-with-a-parameter"
          ],
          "level": 3
        },
        {
          "line": 448,
          "ids": [
            "how-the-factors-enter-an-index-problem",
            "7-where-the-factors-enter-an-index-argument",
            "where-the-factors-enter-an-index-argument"
          ],
          "heading": "7. Where the factors enter an index argument",
          "level": 2
        },
        {
          "line": 454,
          "heading": "The exact map between two choices of factors",
          "ids": [
            "the-exact-map-between-two-choices-of-factors"
          ],
          "level": 3
        },
        {
          "line": 509,
          "ids": [
            "smooth-families-on-the-original-fixed-domains"
          ],
          "heading": "Smooth families on the original fixed domains",
          "level": 3
        },
        {
          "line": 563,
          "heading": "References",
          "ids": [
            "references"
          ],
          "level": 2
        }
      ],
      "accepted_writer_proof_record_sha256": "0b8b183423cdb21eb159dd00eec7223c6653af0fcd01ba58d39185324d529205",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "2507b03e758de88ec6f15358cc2d08b47b43e95639339508d7845a25adbaa82c",
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true,
      "tex_sha256": "d57354add3a310935a8fab8ae5705b272114135e5b5433f0e9cc67fbd73019f4",
      "pdf_sha256": "9a5e35b41f31c7c716915a2c64db418455d8cdd046135d76036915ff3fe0ea87",
      "pdf_pages": 13,
      "public_PDF_prerequisite_routes_current": true
    },
    {
      "id": "AN03-P002",
      "title": "Polynomial and contour interfaces for stable boundary models",
      "source": "src/stable-prerequisite-bridges.md",
      "reader": "stable-prerequisite-bridges.html",
      "tex": "tex/stable-prerequisite-bridges.tex",
      "pdf": "pdf/stable-prerequisite-bridges.pdf",
      "source_sha256": "94a62c4be0f39475db008e15c10467b9755161371bf418b7b09a55263c5a5dd6",
      "tex_sha256": "00a74a467723ed70b74810bdf31aa42dd14b62e1e0c1a183d72a95c43896a1ea",
      "pdf_sha256": "ffa8985208bd3f917b571868a03caadd09ed388b49aaa45a7f9bbd939d04b155",
      "pdf_pages": 32,
      "license": "CC0-1.0",
      "notice": "CC0 1.0",
      "scope": "Complete lesson, including all original formulas, examples and proofs.",
      "heading_aliases": [
        {
          "line": 1,
          "ids": [
            "polynomial-and-contour-interfaces-for-stable-boundary-models"
          ],
          "heading": "Polynomial and contour interfaces for stable boundary models"
        },
        {
          "line": 11,
          "ids": [
            "AN03-SPR-001",
            "an03-spr-001-the-finite-entry-base",
            "1-facts-used-from-earlier-lessons",
            "facts-used-from-earlier-lessons"
          ],
          "heading": "1. Facts used from earlier lessons"
        },
        {
          "line": 19,
          "ids": [
            "AN03-SPR-002",
            "an03-spr-002-the-scalar-polynomial-reading-contract",
            "2-scalar-polynomial-division-and-bezout",
            "scalar-polynomial-division-and-bézout"
          ],
          "heading": "2. Scalar polynomial division and Bézout"
        },
        {
          "line": 41,
          "ids": [
            "AN03-SPR-003",
            "an03-spr-003-from-coprime-factors-to-projections",
            "3-from-coprime-factors-to-projections",
            "from-coprime-factors-to-projections"
          ],
          "heading": "3. From coprime factors to projections"
        },
        {
          "line": 74,
          "ids": [
            "AN03-SPR-004",
            "an03-spr-004-cayleyhamilton-from-an-invariant-flag",
            "4-cayleyhamilton-from-an-invariant-flag",
            "cayleyhamilton-from-an-invariant-flag"
          ],
          "heading": "4. Cayley–Hamilton from an invariant flag"
        },
        {
          "line": 106,
          "ids": [
            "AN03-SPR-005",
            "an03-spr-005-the-exact-entire-series-contour-moments",
            "5-contour-moments-from-entire-series",
            "contour-moments-from-entire-series"
          ],
          "heading": "5. Contour moments from entire series"
        },
        {
          "line": 154,
          "ids": [
            "AN03-SPR-006",
            "an03-spr-006-indices-of-rectangles-and-circles",
            "6-indices-of-rectangles-and-circles",
            "indices-of-rectangles-and-circles"
          ],
          "heading": "6. Indices of rectangles and circles"
        },
        {
          "line": 206,
          "ids": [
            "AN03-SPR-007",
            "an03-spr-007-differentiation-along-a-fixed-contour",
            "7-differentiation-along-a-fixed-contour",
            "differentiation-along-a-fixed-contour"
          ],
          "heading": "7. Differentiation along a fixed contour"
        },
        {
          "line": 231,
          "ids": [
            "AN03-SPR-008",
            "an03-spr-008-a-repeated-pole-and-a-scope-diagnostic",
            "8-a-repeated-pole-and-why-the-hypothesis-matters",
            "a-repeated-pole-and-why-the-hypothesis-matters"
          ],
          "heading": "8. A repeated pole and why the hypothesis matters"
        },
        {
          "line": 270,
          "ids": [
            "complex-roots-with-all-original-coefficients-retained"
          ],
          "heading": "9. Complex roots with all original coefficients retained",
          "level": 2
        },
        {
          "line": 276,
          "ids": [
            "AN03-SPR-ROOT-001",
            "the-actual-exponential-and-a-direction-with-any-prescribed-integer-power"
          ],
          "heading": "9.1. The actual exponential and a direction with any prescribed integer power",
          "level": 3
        },
        {
          "line": 303,
          "ids": [
            "AN03-SPR-ROOT-002",
            "a-minimum-of-the-original-polynomial-modulus"
          ],
          "heading": "9.2. A minimum of the original polynomial modulus",
          "level": 3
        },
        {
          "line": 331,
          "ids": [
            "AN03-SPR-ROOT-003",
            "the-exact-translated-coefficients-force-a-zero"
          ],
          "heading": "9.3. The exact translated coefficients force a zero",
          "level": 3
        },
        {
          "line": 357,
          "ids": [
            "AN03-SPR-ROOT-004",
            "full-factorization-leading-coefficient-and-multiplicities"
          ],
          "heading": "9.4. Full factorization, leading coefficient and multiplicities",
          "level": 3
        },
        {
          "line": 373,
          "ids": [
            "AN03-SPR-ROOT-005",
            "scalar-units-and-the-exact-bézout-and-annihilator-receiving-maps"
          ],
          "heading": "9.5. Scalar units and the exact Bézout and annihilator receiving maps",
          "level": 3
        },
        {
          "line": 409,
          "ids": [
            "AN03-SPR-ROOT-006",
            "original-characteristic-polynomial-and-explicit-root-to-kernel-map"
          ],
          "heading": "9.6. Original characteristic polynomial and explicit root-to-kernel map",
          "level": 3
        },
        {
          "line": 458,
          "ids": [
            "AN03-SPR-ROOT-007",
            "eigenline-invariant-range-and-both-receiving-quotient-maps"
          ],
          "heading": "9.7. Eigenline, invariant range and both receiving quotient maps",
          "level": 3
        },
        {
          "line": 494,
          "ids": [
            "AN03-SPR-ROOT-008",
            "the-original-spectral-bound-and-contour-receiver"
          ],
          "heading": "9.8. The original spectral bound and contour receiver",
          "level": 3
        },
        {
          "line": 505,
          "ids": [
            "full-finite-linear-algebra-foundations"
          ],
          "heading": "10. Full finite linear-algebra foundations",
          "level": 2
        },
        {
          "line": 511,
          "ids": [
            "AN03-SPR-LINALG-001",
            "finite-spanning-sets-exchange-and-basis-extension"
          ],
          "heading": "10.1. Finite spanning sets, exchange and basis extension",
          "level": 3
        },
        {
          "line": 568,
          "ids": [
            "AN03-SPR-LINALG-002",
            "coordinates-matrix-products-and-basis-comparisons"
          ],
          "heading": "10.2. Coordinates, matrix products and basis comparisons",
          "level": 3
        },
        {
          "line": 612,
          "ids": [
            "AN03-SPR-LINALG-003",
            "rank-nullity-quotients-and-direct-sums"
          ],
          "heading": "10.3. Rank-nullity, quotients and direct sums",
          "level": 3
        },
        {
          "line": 636,
          "ids": [
            "AN03-SPR-LINALG-004",
            "determinants-and-the-full-ordered-elimination-maps"
          ],
          "heading": "10.4. Determinants and the full ordered elimination maps",
          "level": 3
        },
        {
          "line": 705,
          "ids": [
            "AN03-SPR-LINALG-005",
            "the-original-inner-product-and-the-full-gram-residuals"
          ],
          "heading": "10.5. The original inner product and the full Gram residuals",
          "level": 3
        },
        {
          "line": 768,
          "ids": [
            "AN03-SPR-LINALG-006",
            "exact-finite-inner-product-bounds-and-the-unchanged-original-norm"
          ],
          "heading": "10.6. Exact finite inner-product bounds and the unchanged original norm",
          "level": 3
        },
        {
          "line": 817,
          "ids": [
            "AN03-SPR-LINALG-007",
            "full-adjoints-in-the-original-gram-matrices"
          ],
          "heading": "10.7. Full adjoints in the original Gram matrices",
          "level": 3
        },
        {
          "line": 868,
          "ids": [
            "AN03-SPR-LINALG-008",
            "trace-projection-rank-and-positivity-in-the-receiving-coordinates"
          ],
          "heading": "10.8. Trace, projection rank and positivity in the receiving coordinates",
          "level": 3
        },
        {
          "line": 885,
          "ids": [
            "AN03-SPR-LINALG-009",
            "the-full-original-characteristic-criterion-and-invariant-blocks"
          ],
          "heading": "10.9. The full original characteristic criterion and invariant blocks",
          "level": 3
        },
        {
          "line": 937,
          "ids": [
            "AN03-SPR-LINALG-010",
            "actual-receiving-maps-for-the-existing-spectral-and-metric-lessons"
          ],
          "heading": "10.10. Actual receiving maps for the existing spectral and metric lessons",
          "level": 3
        },
        {
          "line": 947,
          "ids": [
            "AN03-SPR-DOMINATED-000",
            "matrix-entry-differentiation-under-the-integral"
          ],
          "heading": "11. Matrix-entry differentiation under the integral",
          "level": 2
        },
        {
          "line": 951,
          "ids": [
            "AN03-SPR-DOMINATED-001",
            "the-exact-entry-map-and-its-original-operator-norm"
          ],
          "heading": "11.1. The exact entry map and its original operator norm",
          "level": 3
        },
        {
          "line": 982,
          "ids": [
            "AN03-SPR-DOMINATED-002",
            "every-parameter-derivative-and-its-full-integral-map"
          ],
          "heading": "11.2. Every parameter derivative and its full integral map",
          "level": 3
        },
        {
          "line": 1043,
          "ids": [
            "AN03-SPR-DOMINATED-003",
            "an-integrable-anchor-supplies-the-missing-zeroth-order-bound"
          ],
          "heading": "11.3. An integrable anchor supplies the missing zeroth-order bound",
          "level": 3
        },
        {
          "line": 1056,
          "ids": [
            "AN03-SPR-DOMINATED-004",
            "the-riemann-integral-each-path-piece-and-every-cycle-coefficient"
          ],
          "heading": "11.4. The Riemann integral, each path piece and every cycle coefficient",
          "level": 3
        },
        {
          "line": 1107,
          "ids": [
            "AN03-SPR-DOMINATED-005",
            "the-actual-ordered-resolvent-time-derivatives-and-upper-contour-bound"
          ],
          "heading": "11.5. The actual ordered resolvent, time derivatives and upper-contour bound",
          "level": 3
        }
      ],
      "historical_reader_source_sha256": "94a62c4be0f39475db008e15c10467b9755161371bf418b7b09a55263c5a5dd6",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "94a62c4be0f39475db008e15c10467b9755161371bf418b7b09a55263c5a5dd6",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "accepted_writer_proof_record_sha256": "85bf4169f35ae6dcea2c46a9de053c785fed61d0ce6b1841f60e9780e9abd22a",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "3a54904b6091ef9693c631ec61601711d462f9c90b9591c51cabe2b69ba5ca3f",
      "public_PDF_prerequisite_routes_current": true,
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true
    },
    {
      "id": "AN03-P003",
      "title": "Metric and topological foundations",
      "source": "src/metric-foundation-bridges.md",
      "reader": "metric-foundation-bridges.html",
      "tex": "tex/metric-foundation-bridges.tex",
      "pdf": "pdf/metric-foundation-bridges.pdf",
      "source_sha256": "588cfa98ceafe51459694c36d02085c9deac62e1edc79d98cdfe74fbacc74b58",
      "tex_sha256": "a70e0191a3146b28bb78a0be77caa963d9650ada8808a755fbfec8e198bc2806",
      "pdf_sha256": "ac2bb7334fc0ccab40fc2f684f67a3c6b3fd5df4ed0c6133312f162980527dd5",
      "pdf_pages": 41,
      "license": "CC0-1.0",
      "notice": "CC0 1.0",
      "scope": "Complete lesson, including all original formulas, examples and proofs.",
      "heading_aliases": [
        {
          "line": 1,
          "ids": [
            "support-contracts-for-moving-metric-localization",
            "metric-and-topological-foundations"
          ],
          "heading": "Metric and topological foundations"
        },
        {
          "line": 5,
          "ids": [
            "AN03-MFD-001",
            "an03-mfd-001-entry-boundary-and-the-maximality-assumption",
            "1-entry-facts-and-maximality",
            "entry-facts-and-maximality"
          ],
          "heading": "1. Entry facts and maximality"
        },
        {
          "line": 13,
          "ids": [
            "AN03-MFD-002",
            "an03-mfd-002-positive-forms-and-tensor-norms",
            "2-positive-forms-and-tensor-norms",
            "positive-forms-and-tensor-norms"
          ],
          "heading": "2. Positive forms and tensor norms"
        },
        {
          "line": 38,
          "ids": [
            "AN03-MFD-003",
            "an03-mfd-003-exact-differential-calculus-and-segment-integral-readings",
            "3-differentiation-and-segment-integrals",
            "differentiation-and-segment-integrals"
          ],
          "heading": "3. Differentiation and segment integrals"
        },
        {
          "line": 56,
          "ids": [
            "AN03-MFD-004",
            "an03-mfd-004-countability-compactness-and-supports",
            "4-countability-compactness-and-supports",
            "countability-compactness-and-supports"
          ],
          "heading": "4. Countability, compactness and supports"
        },
        {
          "line": 68,
          "ids": [
            "AN03-MFD-005",
            "an03-mfd-005-cutoffs-and-locally-finite-sums",
            "5-cutoffs-and-locally-finite-sums",
            "cutoffs-and-locally-finite-sums"
          ],
          "heading": "5. Cutoffs and locally finite sums"
        },
        {
          "line": 80,
          "ids": [
            "AN03-MFD-006",
            "an03-mfd-006-full-lebesgue-linear-changes-and-frozen-volumes",
            "6-lebesgue-measure-under-affine-maps",
            "lebesgue-measure-under-affine-maps"
          ],
          "heading": "6. Lebesgue measure under affine maps"
        },
        {
          "line": 109,
          "ids": [
            "AN03-MFD-007",
            "an03-mfd-007-uniform-limits-and-finite-dimensional-completeness",
            "7-uniform-limits",
            "uniform-limits"
          ],
          "heading": "7. Uniform limits"
        },
        {
          "line": 115,
          "ids": [
            "AN03-MFD-008",
            "an03-mfd-008-the-countable-seminorm-metric",
            "8-a-metric-for-countably-many-seminorms",
            "a-metric-for-countably-many-seminorms"
          ],
          "heading": "8. A metric for countably many seminorms"
        },
        {
          "line": 134,
          "ids": [
            "AN03-MFD-009",
            "an03-mfd-009-local-inverses-and-the-matrix-geometric-series",
            "9-local-inverses-and-matrix-series",
            "local-inverses-and-matrix-series"
          ],
          "heading": "9. Local inverses and matrix series"
        },
        {
          "line": 154,
          "ids": [
            "AN03-MFD-010",
            "an03-mfd-010-the-bracket-estimate-and-fixed-powers",
            "10-frequency-brackets-and-real-powers",
            "frequency-brackets-and-real-powers"
          ],
          "heading": "10. Frequency brackets and real powers"
        },
        {
          "line": 182,
          "ids": [
            "real-numbers-and-finite-dimensional-topology"
          ],
          "heading": "12. Real numbers and finite-dimensional topology",
          "level": 2
        },
        {
          "line": 186,
          "ids": [
            "AN03-MFD-REAL-001",
            "integer-and-rational-arithmetic-with-all-original-fractions-retained"
          ],
          "heading": "12.1. Integer and rational arithmetic with all original fractions retained",
          "level": 3
        },
        {
          "line": 235,
          "ids": [
            "AN03-MFD-REAL-002",
            "constructing-the-real-field-and-its-exact-inverse-operations"
          ],
          "heading": "12.2. Constructing the real field and its exact inverse operations",
          "level": 3
        },
        {
          "line": 294,
          "ids": [
            "AN03-MFD-REAL-003",
            "suprema-cauchy-completeness-and-comparison-with-the-given-real-numbers"
          ],
          "heading": "12.3. Suprema, Cauchy completeness and comparison with the given real numbers",
          "level": 3
        },
        {
          "line": 332,
          "ids": [
            "AN03-MFD-REAL-004",
            "square-roots-and-the-full-euclidean-distance"
          ],
          "heading": "12.4. Square roots and the full Euclidean distance",
          "level": 3
        },
        {
          "line": 364,
          "ids": [
            "AN03-MFD-REAL-005",
            "bounded-subsequences-in-every-original-coordinate"
          ],
          "heading": "12.5. Bounded subsequences in every original coordinate",
          "level": 3
        },
        {
          "line": 381,
          "ids": [
            "AN03-MFD-REAL-006",
            "open-cover-compactness-and-the-exact-closed-and-bounded-criterion"
          ],
          "heading": "12.6. Open-cover compactness and the exact closed-and-bounded criterion",
          "level": 3
        },
        {
          "line": 457,
          "ids": [
            "AN03-MFD-REAL-007",
            "continuous-maps-full-extrema-and-uniform-continuity"
          ],
          "heading": "12.7. Continuous maps, full extrema and uniform continuity",
          "level": 3
        },
        {
          "line": 497,
          "ids": [
            "AN03-MFD-REAL-008",
            "countable-coordinate-neighborhoods-and-exact-sequence-choices"
          ],
          "heading": "12.8. Countable coordinate neighborhoods and exact sequence choices",
          "level": 3
        },
        {
          "line": 514,
          "ids": [
            "AN03-MFD-REAL-009",
            "every-original-finite-norm-and-positive-quadratic-form"
          ],
          "heading": "12.9. Every original finite norm and positive quadratic form",
          "level": 3
        },
        {
          "line": 564,
          "ids": [
            "AN03-MFD-REAL-010",
            "actual-polynomial-spectral-metric-and-stable-boundary-receiving-maps"
          ],
          "heading": "12.10. Actual polynomial, spectral, metric and stable-boundary receiving maps",
          "level": 3
        },
        {
          "line": 630,
          "ids": [
            "original-scalar-calculus-and-its-finite-coordinate-receivers"
          ],
          "heading": "13. Original scalar calculus and its finite-coordinate receivers",
          "level": 2
        },
        {
          "line": 634,
          "ids": [
            "AN03-MFD-CALC-001",
            "limits-with-all-original-scalar-and-coordinate-factors"
          ],
          "heading": "13.1. Limits with all original scalar and coordinate factors",
          "level": 3
        },
        {
          "line": 674,
          "ids": [
            "AN03-MFD-CALC-002",
            "derivatives-extrema-and-the-mean-value-theorem"
          ],
          "heading": "13.2. Derivatives, extrema and the mean value theorem",
          "level": 3
        },
        {
          "line": 707,
          "ids": [
            "AN03-MFD-CALC-003",
            "constructing-the-full-oriented-riemann-integral"
          ],
          "heading": "13.3. Constructing the full oriented Riemann integral",
          "level": 3
        },
        {
          "line": 765,
          "ids": [
            "AN03-MFD-CALC-004",
            "fundamental-theorem-substitution-and-integration-by-parts"
          ],
          "heading": "13.4. Fundamental theorem, substitution and integration by parts",
          "level": 3
        },
        {
          "line": 767,
          "ids": [
            "AN03-MFD-CALC-FTC-001",
            "the-primitive-and-both-fundamental-theorem-forms"
          ],
          "heading": "13.4.1. The primitive and both fundamental-theorem forms",
          "level": 4
        },
        {
          "line": 803,
          "ids": [
            "AN03-MFD-CALC-FTC-002",
            "substitution-and-ordered-integration-by-parts"
          ],
          "heading": "13.4.2. Substitution and ordered integration by parts",
          "level": 4
        },
        {
          "line": 823,
          "ids": [
            "AN03-MFD-CALC-005",
            "product-chain-and-full-finite-coordinate-derivative-maps"
          ],
          "heading": "13.5. Product, chain and full finite-coordinate derivative maps",
          "level": 3
        },
        {
          "line": 825,
          "ids": [
            "AN03-MFD-CALC-CHAIN-001",
            "pointwise-product-and-chain-maps"
          ],
          "heading": "13.5.1. Pointwise product and chain maps",
          "level": 4
        },
        {
          "line": 863,
          "ids": [
            "AN03-MFD-CALC-CHAIN-002",
            "continuous-partials-and-higher-coordinate-tensors"
          ],
          "heading": "13.5.2. Continuous partials and higher-coordinate tensors",
          "level": 4
        },
        {
          "line": 908,
          "ids": [
            "AN03-MFD-CALC-006",
            "higher-products-and-complete-taylor-remainders"
          ],
          "heading": "13.6. Higher products and complete Taylor remainders",
          "level": 3
        },
        {
          "line": 978,
          "ids": [
            "AN03-MFD-CALC-007",
            "uniform-limits-and-differentiation-of-the-actual-series"
          ],
          "heading": "13.7. Uniform limits and differentiation of the actual series",
          "level": 3
        },
        {
          "line": 1037,
          "ids": [
            "AN03-MFD-CALC-008",
            "original-exponential-logarithm-and-every-real-power"
          ],
          "heading": "13.8. Original exponential, logarithm and every real power",
          "level": 3
        },
        {
          "line": 1079,
          "ids": [
            "AN03-MFD-CALC-009",
            "arctangent-circular-parameters-and-the-original-pi"
          ],
          "heading": "13.9. Arctangent, circular parameters and the original pi",
          "level": 3
        },
        {
          "line": 1143,
          "ids": [
            "AN03-MFD-CALC-010",
            "the-actual-smooth-cutoff-with-all-endpoint-constants"
          ],
          "heading": "13.10. The actual smooth cutoff with all endpoint constants",
          "level": 3
        },
        {
          "line": 1189,
          "ids": [
            "AN03-MFD-CALC-011",
            "exact-integrating-factors-and-original-operator-exponentials"
          ],
          "heading": "13.11. Exact integrating factors and original operator exponentials",
          "level": 3
        },
        {
          "line": 1242,
          "ids": [
            "AN03-MFD-CALC-012",
            "full-metric-gaussian-polynomial-contour-and-boundary-receivers"
          ],
          "heading": "13.12. Full metric, Gaussian, polynomial, contour and boundary receivers",
          "level": 3
        },
        {
          "line": 1244,
          "ids": [
            "original-metric-gaussian-and-rayleigh-maps"
          ],
          "heading": "13.12.1. Original metric, Gaussian and Rayleigh maps",
          "level": 4
        },
        {
          "line": 1285,
          "ids": [
            "the-original-half-plane-primitive"
          ],
          "heading": "13.12.2. The original half-plane primitive",
          "level": 4
        },
        {
          "line": 1301,
          "ids": [
            "AN03-MFD-CALC-SERIES-001",
            "uniform-calculus-for-the-original-entire-series"
          ],
          "heading": "13.12.3. Uniform calculus for the original entire series",
          "level": 4
        },
        {
          "line": 1307,
          "ids": [
            "original-matrix-and-half-line-receivers"
          ],
          "heading": "13.12.4. Original matrix and half-line receivers",
          "level": 4
        },
        {
          "line": 1345,
          "ids": [
            "AN03-MFD-GENERAL-000",
            "general-metric-compactness-and-local-support-calculations"
          ],
          "heading": "14. General metric compactness and local support calculations",
          "level": 2
        },
        {
          "line": 1347,
          "ids": [
            "AN03-MFD-GENERAL-001",
            "open-covers-and-sequences-for-the-full-original-metric"
          ],
          "heading": "14.1. Open covers and sequences for the full original metric",
          "level": 3
        },
        {
          "line": 1399,
          "ids": [
            "AN03-MFD-GENERAL-002",
            "compact-supports-local-finiteness-and-unchanged-smooth-derivatives"
          ],
          "heading": "14.2. Compact supports, local finiteness and unchanged smooth derivatives",
          "level": 3
        },
        {
          "line": 1422,
          "ids": [
            "AN03-MFD-GENERAL-003",
            "the-maximality-boundary-and-the-exact-declared-foundation"
          ],
          "heading": "14.3. The maximality boundary and the exact declared foundation",
          "level": 3
        },
        {
          "line": 1430,
          "ids": [
            "AN03-MFD-GENERAL-004",
            "the-full-stated-fundamental-theorem-and-uniform-coordinate-passage"
          ],
          "heading": "14.4. The full stated fundamental theorem and uniform coordinate passage",
          "level": 3
        }
      ],
      "historical_reader_source_sha256": "588cfa98ceafe51459694c36d02085c9deac62e1edc79d98cdfe74fbacc74b58",
      "historical_reader_source_hash_provenance": "Retained source binding recorded for the prior reader edition; no new source-reader equality claim.",
      "current_source_sha256": "588cfa98ceafe51459694c36d02085c9deac62e1edc79d98cdfe74fbacc74b58",
      "source_edition_status": "Current complete HTML reading; current PDF available.",
      "reader_pending": false,
      "current_reader_source_policy_refresh_pending": false,
      "source_reader_equality_claimed": true,
      "accepted_writer_proof_record_sha256": "85bf4169f35ae6dcea2c46a9de053c785fed61d0ce6b1841f60e9780e9abd22a",
      "HTML_source_equality_claimed": true,
      "reader_sha256": "fcb2f4b266f03748902e898e57cefc0f91f5835b481b4a1fd4cdd8e331fcf507",
      "public_PDF_prerequisite_routes_current": true,
      "current_HTML_source_equality_claimed": true,
      "current_PDF_source_equality_claimed": true
    }
  ],
  "source_policy_edition": {
    "status": "Current complete HTML readings; current PDFs are included where available.",
    "base_git_commit": "80d6a30825238e950c789a2d32f5dc9b12e6ecc9",
    "zero_paywalled_citations_required": true,
    "P514": "Every result used is proved in the lesson or an earlier programme lesson. A citation never replaces a proof.",
    "historical_reader_formats": [],
    "historical_readers_exported": false,
    "public_release_claimed": false,
    "whole_course_clearance_claimed": false,
    "current_HTML_source_equality_claimed": true,
    "source_reader_equality_claimed": false,
    "historical_readers_refresh_pending": false
  }
}