Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Tue, 28 Mar 2017 11:49:35 +0900 | Shinji KONO | Small Category for Sets Limit |
Mon, 27 Mar 2017 10:18:08 +0900 | Shinji KONO | on going ... |
Mon, 27 Mar 2017 06:55:25 +0900 | Shinji KONO | on going .. |
Sun, 26 Mar 2017 23:17:44 +0900 | Shinji KONO | fix |
Sun, 26 Mar 2017 19:41:44 +0900 | Shinji KONO | Equalizer in Sets done |
Wed, 22 Mar 2017 17:48:22 +0900 | Shinji KONO | only yellow remains in uniquness |