vault backup: 2025-03-18 09:49:12
This commit is contained in:
parent
cfcc4806c4
commit
51a341cd84
2 changed files with 7 additions and 3 deletions
4
.obsidian/workspace.json
vendored
4
.obsidian/workspace.json
vendored
|
@ -36,9 +36,9 @@
|
|||
"type": "pdf",
|
||||
"state": {
|
||||
"file": "Concurrent Systems/slides/class 6.pdf",
|
||||
"page": 4,
|
||||
"page": 6,
|
||||
"left": -23,
|
||||
"top": 17,
|
||||
"top": 546,
|
||||
"zoom": 0.6448931116389549
|
||||
},
|
||||
"icon": "lucide-file-text",
|
||||
|
|
|
@ -35,3 +35,7 @@ For all X, let $\hat{S}_{X}$ be a linearization of $\hat{H}_{X}$
|
|||
Let $\to$ denote $\to_{H} \cup \bigcup_{X \in H} \to _{X}$
|
||||
|
||||
...
|
||||
> [!PDF|red] class 6, p.6> we would have a cycle of length
|
||||
>
|
||||
> we would contraddict op2 ->x op3
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue