Mercurial > hg > Members > kono > Proof > category
graph
-
from cart to graph, hom equality to set equalityWed, 01 May 2019 21:16:58 +0900, by Shinji KONO
-
Grp and CartWed, 01 May 2019 15:16:54 +0900, by Shinji KONO
-
...Wed, 01 May 2019 10:16:45 +0900, by Shinji KONO
-
oneSun, 28 Apr 2019 16:03:42 +0900, by Shinji KONO
-
...Sun, 28 Apr 2019 13:02:36 +0900, by Shinji KONO
-
...Sun, 28 Apr 2019 12:37:34 +0900, by Shinji KONO
-
simplerSat, 27 Apr 2019 12:58:12 +0900, by Shinji KONO
-
simpler proof of CCC from graphSat, 27 Apr 2019 12:17:49 +0900, by Shinji KONO
-
add <= and <,>Sat, 27 Apr 2019 10:10:40 +0900, by Shinji KONO
-
Added tag graph-to-ccc for changeset 4ff300e1e98cSat, 27 Apr 2019 08:42:45 +0900, by Shinji KONO
-
graph to CCC doneSat, 27 Apr 2019 08:42:36 +0900, by Shinji KONO
-
...Sat, 27 Apr 2019 07:09:35 +0900, by Shinji KONO