Source history
Original source: arXiv:1112.0040v6
Detailed backend records are private. Public author/source status appears above.
The permanent identity and original source provenance are retained below.
{
"key": "work:W000012:tex:1112.0040v6:unicity-FINAL.tex:axiom*:1010",
"first_source_version": "1112.0040v6",
"chapter": "work-w000012",
"work": "W000012",
"kind": "Axiom",
"number": "",
"title": "Axiom (C.4: Fundamental pushouts ) .",
"source_version": "1112.0040v6",
"source": {
"file": "unicity-FINAL.tex",
"line": 1010,
"file_sha256": "f22c374a464962fd3045d06b88ac35464246717e10d0b9f943d502c935b6d7b1",
"byte_start": 65871,
"byte_end": 66024
},
"source_span_sha256": "8d1c4948702028db941de38ca97ae569269a932b836f636e5c113d8fa54c8765",
"source_label": null,
"source_label_occurrences": 0,
"target": "/chapters/work-w000012.html",
"display_source": {
"url": "https://arxiv.org/html/1112.0040v6",
"sha256": "6c96ea457f9c3e6ad17a44935409702156727e5442c3dffbf69396bac68b38ba",
"element_id": "Thmaxiomx4"
},
"identity_basis": "pinned author file/environment/line; missing or repeated label is not a unique identity",
"status": "active"
}