Definition 2.3.1 (0M2R)

Source history

Tomer Schlank, Lior Yanovski

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

The permanent identity and original source provenance are retained below.

{
  "key": "work:W000073:tex:1808.06006v3:EH.tex:defn:1063",
  "first_source_version": "1808.06006v3",
  "chapter": "work-w000073",
  "work": "W000073",
  "kind": "Definition",
  "number": "2.3.1",
  "title": "Definition 2.3.1 .",
  "source_version": "1808.06006v3",
  "source": {
    "file": "EH.tex",
    "line": 1063,
    "file_sha256": "0e96920f6475a21a4d1546a9f8c851044a6c1ccdb0db2bf84f720fd831c9ecfa",
    "byte_start": 53900,
    "byte_end": 54245
  },
  "source_span_sha256": "c1c4d65abb4b3c6c23a7f7d96a04a28760871dfddb02df49dc41ca1c1322d3f8",
  "source_label": null,
  "source_label_occurrences": 0,
  "target": "/chapters/work-w000073.html",
  "display_source": {
    "url": "https://arxiv.org/html/1808.06006v3",
    "sha256": "8480c9c4bcdc3dd2f8ddbed3ce0aba09d35adbf351007a570f33289dfc71c06a",
    "element_id": "S2.SS3.Thmthm1"
  },
  "identity_basis": "pinned author file/environment/line; missing or repeated label is not a unique identity",
  "status": "active"
}