Source history
Original source: arXiv:1009.5025v3
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000057:pdf:2a25ad599108346a0833d4f0678b1a57e12e454eff28ad5fae68db31dca0dc11:page:23:bbox:72.0,268.845,318.157,280.098",
"first_source_version": "1009.5025v3",
"chapter": "work-w000057",
"work": "W000057",
"kind": "Proof",
"number": "",
"title": "Proof. This follows from Properties 1.3.2 and 1.3.4.",
"source_version": "1009.5025v3",
"source": {
"pdf_sha256": "2a25ad599108346a0833d4f0678b1a57e12e454eff28ad5fae68db31dca0dc11",
"page": 23,
"bbox": [
72.0,
268.845,
318.157,
280.098
]
},
"target": "/chapters/work-w000057.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}