Lemma 13.9 (0MKH)

Source history

Clark Barwick, Christopher Schommer-Pries

Detailed backend records are private. Public author/source status appears above.

The permanent identity and original source provenance are retained below.

{
  "key": "work:W000012:tex:1112.0040v6:lma:ReductionOfTAtoTB+TC",
  "first_source_version": "1112.0040v6",
  "chapter": "work-w000012",
  "work": "W000012",
  "kind": "Lemma",
  "number": "13.9",
  "title": "Lemma 13.9 .",
  "source_version": "1112.0040v6",
  "source": {
    "file": "unicity-FINAL.tex",
    "line": 2027,
    "file_sha256": "f22c374a464962fd3045d06b88ac35464246717e10d0b9f943d502c935b6d7b1",
    "byte_start": 143896,
    "byte_end": 144057
  },
  "source_span_sha256": "81e47e68578b8eafda419c9a80df74b6a62ce75ff44d2e8e3cc366befd992556",
  "source_label": "lma:ReductionOfTAtoTB+TC",
  "source_label_occurrences": 1,
  "target": "/chapters/work-w000012.html",
  "display_source": {
    "url": "https://arxiv.org/html/1112.0040v6",
    "sha256": "6c96ea457f9c3e6ad17a44935409702156727e5442c3dffbf69396bac68b38ba",
    "element_id": "S13.Thmtheorem9"
  },
  "identity_basis": "unique pinned author source label",
  "status": "active"
}