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:22:bbox:117.828,547.139,418.581,559.292",
"first_source_version": "2311.13362v1",
"chapter": "work-w000037",
"work": "W000037",
"kind": "Proof",
"number": "",
"title": "Proof. This follows from the proof of [Lur17, Proposition 4.8.1.15].",
"source_version": "2311.13362v1",
"source": {
"pdf_sha256": "e224780c6049d7980dc433d2268e0718c5427d5bfe9156b03432637ca0f65545",
"page": 22,
"bbox": [
117.828,
547.139,
418.581,
559.292
]
},
"target": "/chapters/work-w000037.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}