Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Fri, 15 May 2020 20:10:09 +0900 | Shinji KONO | η on Graph to CCC |
Fri, 15 May 2020 17:59:15 +0900 | Shinji KONO | add fig |
Thu, 14 May 2020 18:28:08 +0900 | Shinji KONO | workaround on forget functor level |