From bdefb1fea65d61ef94f36626e91b1795ae93eb09 Mon Sep 17 00:00:00 2001 From: "Tomoya(obsidian)" Date: Tue, 29 Aug 2023 16:37:16 +0900 Subject: [PATCH] [obsidian] vault backup: 2023-08-29 16:37:16[ --- content/mimium新内部表現の構想.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index 5537cc2d..d79dba82 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -70,3 +70,4 @@ $$ $$ \frac{\Gamma x = R_a }{\Gamma \vdash x:R} $$%% +