[obsidian] vault backup: 2023-08-29 16:37:16[
This commit is contained in:
parent
340cc478aa
commit
a743aa4b89
@ -70,3 +70,4 @@ $$
|
|||||||
$$
|
$$
|
||||||
\frac{\Gamma x = R_a }{\Gamma \vdash x:R}
|
\frac{\Gamma x = R_a }{\Gamma \vdash x:R}
|
||||||
$$%%
|
$$%%
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user