Source history
Original source: arXiv:2311.13362v1
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000037:pdf:e224780c6049d7980dc433d2268e0718c5427d5bfe9156b03432637ca0f65545:page:20:bbox:117.828,622.54,374.486,634.693",
"first_source_version": "2311.13362v1",
"chapter": "work-w000037",
"work": "W000037",
"kind": "Proof",
"number": "",
"title": "Proof. From Lemma 4.10 we have a commutative square",
"source_version": "2311.13362v1",
"source": {
"pdf_sha256": "e224780c6049d7980dc433d2268e0718c5427d5bfe9156b03432637ca0f65545",
"page": 20,
"bbox": [
117.828,
622.54,
374.486,
634.693
]
},
"target": "/chapters/work-w000037.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}