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:64:bbox:89.88,152.368,308.274,162.33",
"first_source_version": "1504.04007v7",
"chapter": "work-w000003",
"work": "W000003",
"kind": "Lemma",
"number": "3.58",
"title": "Lemma 3.58. For each dimension n, the functor",
"source_version": "1504.04007v7",
"source": {
"pdf_sha256": "6f896f1d2b9494d0267ecf5b7c4e77b1fd51bab12d797a7e22aa67532284f0a3",
"page": 64,
"bbox": [
89.88,
152.368,
308.274,
162.33
]
},
"target": "/chapters/work-w000003.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}