Source history
Original source: arXiv:1308.2587v2
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000018:pdf:d4b73e81c2d103667372d12e34baa676dae5c8ad58653a23751db2b69b93e422:page:21:bbox:108.001,492.938,364.538,503.847",
"first_source_version": "1308.2587v2",
"chapter": "work-w000018",
"work": "W000018",
"kind": "Proof",
"number": "",
"title": "Proof. In 3.21, we proved an equivalence of categories",
"source_version": "1308.2587v2",
"source": {
"pdf_sha256": "d4b73e81c2d103667372d12e34baa676dae5c8ad58653a23751db2b69b93e422",
"page": 21,
"bbox": [
108.001,
492.938,
364.538,
503.847
]
},
"target": "/chapters/work-w000018.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}