Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 18 May 2020 23:13:14 +0900 | Shinji KONO | use postulate on Hom of FCat |
Mon, 18 May 2020 18:41:55 +0900 | Shinji KONO | ... |
Sun, 17 May 2020 23:07:18 +0900 | Shinji KONO | cobj and cmap connected |
Sun, 17 May 2020 18:42:17 +0900 | Shinji KONO | ... |
Sun, 17 May 2020 12:35:49 +0900 | Shinji KONO | simplify |
Sun, 17 May 2020 11:55:30 +0900 | Shinji KONO | ... |