Mercurial > hg > Members > kono > Proof > category
graph
-
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