Source history
Original source: arXiv:1502.06526v3
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000042:pdf:83dc22a4fec8db8b1f318063e934fb28e0dd807325660a7dbfa7f12bebc06b4b:page:23:bbox:70.92,149.313,540.873,165.971",
"first_source_version": "1502.06526v3",
"chapter": "work-w000042",
"work": "W000042",
"kind": "Proof",
"number": "",
"title": "Proof. The combined map sv Y tv : Θpiq;p0q Y Θpiq;p0q Ñ Θpiq;p1q is an inclusion, hence an injective-",
"source_version": "1502.06526v3",
"source": {
"pdf_sha256": "83dc22a4fec8db8b1f318063e934fb28e0dd807325660a7dbfa7f12bebc06b4b",
"page": 23,
"bbox": [
70.92,
149.313,
540.873,
165.971
]
},
"target": "/chapters/work-w000042.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}