Source history
Original source: arXiv:1808.06006v3
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:def:d_Connectedness",
"first_source_version": "1808.06006v3",
"chapter": "work-w000073",
"work": "W000073",
"kind": "Definition",
"number": "3.2.2",
"title": "Definition 3.2.2 .",
"source_version": "1808.06006v3",
"source": {
"file": "EH.tex",
"line": 1473,
"file_sha256": "0e96920f6475a21a4d1546a9f8c851044a6c1ccdb0db2bf84f720fd831c9ecfa",
"byte_start": 77794,
"byte_end": 78095
},
"source_span_sha256": "28528fadb82ac8ab4419334857a497f3283077b86fb8826996be115e066a67dc",
"source_label": "def:d_Connectedness",
"source_label_occurrences": 1,
"target": "/chapters/work-w000073.html",
"display_source": {
"url": "https://arxiv.org/html/1808.06006v3",
"sha256": "8480c9c4bcdc3dd2f8ddbed3ce0aba09d35adbf351007a570f33289dfc71c06a",
"element_id": "S3.SS2.Thmthm2"
},
"identity_basis": "unique pinned author source label",
"status": "active"
}