Lemma 15.9 (0MLF)

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:unicity-FINAL.tex:lemma:2877",
  "first_source_version": "1112.0040v6",
  "chapter": "work-w000012",
  "work": "W000012",
  "kind": "Lemma",
  "number": "15.9",
  "title": "Lemma 15.9 ( [ 28 , A.3.7.7] ) .",
  "source_version": "1112.0040v6",
  "source": {
    "file": "unicity-FINAL.tex",
    "line": 2877,
    "file_sha256": "f22c374a464962fd3045d06b88ac35464246717e10d0b9f943d502c935b6d7b1",
    "byte_start": 211085,
    "byte_end": 211302
  },
  "source_span_sha256": "419f74c1e18b67a90c552a78aded091f276bd6b468fa4e64502489f5a89f8df2",
  "source_label": null,
  "source_label_occurrences": 0,
  "target": "/chapters/work-w000012.html",
  "display_source": {
    "url": "https://arxiv.org/html/1112.0040v6",
    "sha256": "6c96ea457f9c3e6ad17a44935409702156727e5442c3dffbf69396bac68b38ba",
    "element_id": "S15.Thmtheorem9"
  },
  "identity_basis": "pinned author file/environment/line; missing or repeated label is not a unique identity",
  "status": "active"
}