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:39:bbox:89.878,660.816,520.303,673.65",
"first_source_version": "1504.04007v7",
"chapter": "work-w000003",
"work": "W000003",
"kind": "Lemma",
"number": "2.63",
"title": "Lemma 2.63. For each tangential structure B, the pair of ∞-subcategories (BunB,cls, BunB,act) is",
"source_version": "1504.04007v7",
"source": {
"pdf_sha256": "6f896f1d2b9494d0267ecf5b7c4e77b1fd51bab12d797a7e22aa67532284f0a3",
"page": 39,
"bbox": [
89.878,
660.816,
520.303,
673.65
]
},
"target": "/chapters/work-w000003.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}