Source history
Original source: arXiv:1504.04007v7
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000003:pdf:6f896f1d2b9494d0267ecf5b7c4e77b1fd51bab12d797a7e22aa67532284f0a3:page:61:bbox:89.878,638.14,327.242,650.491",
"first_source_version": "1504.04007v7",
"chapter": "work-w000003",
"work": "W000003",
"kind": "Proof",
"number": "",
"title": "Proof. Consider the full ∞-subcategory D ⊂cDiskvfr",
"source_version": "1504.04007v7",
"source": {
"pdf_sha256": "6f896f1d2b9494d0267ecf5b7c4e77b1fd51bab12d797a7e22aa67532284f0a3",
"page": 61,
"bbox": [
89.878,
638.14,
327.242,
650.491
]
},
"target": "/chapters/work-w000003.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}