Theorem 10.1 (0MJL)

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:thm:SpaceOfTheoriesIsBZ/2",
  "first_source_version": "1112.0040v6",
  "chapter": "work-w000012",
  "work": "W000012",
  "kind": "Theorem",
  "number": "10.1",
  "title": "Theorem 10.1 .",
  "source_version": "1112.0040v6",
  "source": {
    "file": "unicity-FINAL.tex",
    "line": 1559,
    "file_sha256": "f22c374a464962fd3045d06b88ac35464246717e10d0b9f943d502c935b6d7b1",
    "byte_start": 106262,
    "byte_end": 106483
  },
  "source_span_sha256": "d66ad011164856562adefe261877030d09a9fd4d4edf359533fc5f28b117f06d",
  "source_label": "thm:SpaceOfTheoriesIsBZ/2",
  "source_label_occurrences": 1,
  "target": "/chapters/work-w000012.html",
  "display_source": {
    "url": "https://arxiv.org/html/1112.0040v6",
    "sha256": "6c96ea457f9c3e6ad17a44935409702156727e5442c3dffbf69396bac68b38ba",
    "element_id": "S10.Thmtheorem1"
  },
  "identity_basis": "unique pinned author source label",
  "status": "active"
}