Mercurial > hg > Members > kono > Proof > category
graph
-
rename discreteFri, 03 May 2019 17:11:33 +0900, by Shinji KONO
-
...Thu, 02 May 2019 11:54:09 +0900, by Shinji KONO
-
add ≈-to-≡ assumptionWed, 01 May 2019 21:35:03 +0900, by Shinji KONO
-
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