Source history
Original source: arXiv:0901.3602v3
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000063:pdf:698cbef66873b6a084e5cc61403e2c215290edd5b71d4937c875b91658a1352e:page:27:bbox:88.201,280.178,465.743,295.047",
"first_source_version": "0901.3602v3",
"chapter": "work-w000063",
"work": "W000063",
"kind": "Proof",
"number": "",
"title": "Proof. Apply (7.18) to X →XT#E →XT#F [1], using (7.12), (7.15), and (7.17).",
"source_version": "0901.3602v3",
"source": {
"pdf_sha256": "698cbef66873b6a084e5cc61403e2c215290edd5b71d4937c875b91658a1352e",
"page": 27,
"bbox": [
88.201,
280.178,
465.743,
295.047
]
},
"target": "/chapters/work-w000063.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}