Source history
Original source: arXiv:math/0608040v4
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000048:pdf:417841bb623f5167145e6950d5608f69f41621735ff9a0c2e988207fa63f1544:page:524:bbox:72.0,393.518,539.885,405.064",
"first_source_version": "math/0608040v4",
"chapter": "work-w000048",
"work": "W000048",
"kind": "Proposition",
"number": "6.5.1.7",
"title": "Proposition 6.5.1.7. Let f : X →Y be an n-truncated morphism in an ∞-topos X. Then πk(f) ≃∗for",
"source_version": "math/0608040v4",
"source": {
"pdf_sha256": "417841bb623f5167145e6950d5608f69f41621735ff9a0c2e988207fa63f1544",
"page": 524,
"bbox": [
72.0,
393.518,
539.885,
405.064
]
},
"target": "/chapters/work-w000048.html",
"identity_basis": "pinned original PDF hash and exact page/bbox; never display number",
"status": "active"
}