Mercurial > hg > Members > kono > Proof > category
graph
-
...Sun, 02 Jul 2017 02:18:57 +0900, by Shinji KONO
-
creating natSat, 01 Jul 2017 10:21:34 +0900, by Shinji KONO
-
if K{*}↓U has initial Obj, U is representable done.Sat, 01 Jul 2017 00:12:38 +0900, by Shinji KONO