Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Thu, 25 Feb 2021 11:13:31 +0900 | Shinji KONO | ... |
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 |