danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2025-02-24 11:53:40

Browse Source
This commit is contained in:
Dane Sabo 2025-02-24 11:53:40 -05:00
parent 85e6c26953
commit 4b8a2629c8
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
3-99 Research/LEAN/Tutorial World.md
View File

@ -5,3 +5,4 @@
| `rw [h]` | $Y = X+a$ | 'Rewrite' an equation using an assumption 'h' or similar. |
| `succ x` | $Y = Y+1$ | 'Successor' says that some number is bigger than another one. |
| `\l` | $\leftarrow$ | Does the opposite of rw. Turns Ys into Xs |
| `repeat` | n/a | Repeats the following action |