Mercurial > hg > Members > kono > Proof > category
graph
-
add gorupTue, 24 Jan 2023 20:25:02 +0900, by Shinji KONO
-
...Thu, 03 Nov 2022 11:01:18 +0900, by Shinji KONO
-
...Sun, 30 Jan 2022 20:40:19 +0900, by Shinji KONO
-
closed thisSun, 29 Aug 2021 16:07:54 +0900, by Shinji KONO
-
explict x in Poly is bad in Internal LanguageSun, 29 Aug 2021 13:44:54 +0900, by Shinji KONO
-
add TodoSat, 31 Jul 2021 06:58:48 +0900, by Shinji KONO
-
xf fixWed, 19 May 2021 09:00:25 +0900, by Shinji KONO
-
Topos Sets char-iso doneTue, 18 May 2021 15:38:46 +0900, by Shinji KONO
-
iso-char in Sets ToposTue, 18 May 2021 01:06:43 +0900, by Shinji KONO
-
...Mon, 17 May 2021 09:31:44 +0900, by Shinji KONO
-
could be. but give up nowMon, 17 May 2021 09:30:48 +0900, by Shinji KONO
-
give up. assuming x ∙ ○ b is PolynominalMon, 17 May 2021 01:19:00 +0900, by Shinji KONO