Definition 2.1 (0KE6)

Source history

Tomer M. Schlank, Lior Yanovski

Original source: arXiv:1902.04061v1

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

The permanent identity and original source provenance are retained below.

{
  "key": "work:W000074:tex:1902.04061v1:def:Truncated_Space",
  "first_source_version": "1902.04061v1",
  "chapter": "work-w000074",
  "work": "W000074",
  "kind": "Definition",
  "number": "2.1",
  "title": "Definition 2.1 .",
  "source_version": "1902.04061v1",
  "source": {
    "file": "Note_on_d_categories.tex",
    "line": 275,
    "file_sha256": "0bbd3e1ce37e812ca2e994e0af71649a14d70e9c65a4879c61ec5fdc80d60225",
    "byte_start": 11583,
    "byte_end": 12226
  },
  "source_span_sha256": "189c308d6e0fae421d1f0214f0ba79e0e477b4d7a349e5b72b1a4d6579389201",
  "source_label": "def:Truncated_Space",
  "target": "/chapters/work-w000074.html",
  "display_source": {
    "url": "https://arxiv.org/html/1902.04061v1",
    "sha256": "fcb56320e41859fa3c8b3c446c411d37618fea3dab9d5d286359fd529f93693e",
    "element_id": "S2.Thmthm1"
  },
  "identity_basis": "unique pinned author source label",
  "status": "active",
  "source_label_occurrences": 1
}