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:37:bbox:70.921,633.739,540.863,644.847",
"first_source_version": "1502.06526v3",
"chapter": "work-w000042",
"work": "W000042",
"kind": "Proof",
"number": "",
"title": "Proof. By Corollary 7.12, to check n-dualizability it is enough to check n-times left-adjunctibility.",
"source_version": "1502.06526v3",
"source": {
"pdf_sha256": "83dc22a4fec8db8b1f318063e934fb28e0dd807325660a7dbfa7f12bebc06b4b",
"page": 37,
"bbox": [
70.921,
633.739,
540.863,
644.847
]
},
"target": "/chapters/work-w000042.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}