Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Fri, 26 Feb 2021 12:19:58 +0900 | Shinji KONO | ... |
Fri, 26 Feb 2021 02:08:22 +0900 | Shinji KONO | ... |
Thu, 25 Feb 2021 18:50:06 +0900 | Shinji KONO | Polynominal category and functional completeness begin |