Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Thu, 25 Feb 2021 02:01:37 +0900 | Shinji KONO | bi-cartesian |
Tue, 23 Feb 2021 16:32:06 +0900 | Shinji KONO | Topos as pull back |
Tue, 23 Feb 2021 14:11:12 +0900 | Shinji KONO | ... |
Mon, 22 Feb 2021 21:31:38 +0900 | Shinji KONO | give up burroni |
Mon, 22 Feb 2021 21:21:30 +0900 | Shinji KONO | ... locality |
Sun, 21 Feb 2021 21:39:01 +0900 | Shinji KONO | ... |