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 ...