Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Wed, 16 Mar 2016 17:43:31 +0900 | Shinji KONO | add Maybe Category |
Wed, 16 Mar 2016 15:44:46 +0900 | Shinji KONO | inconsistent distribution law on nil x arrow-g |
Wed, 16 Mar 2016 13:02:51 +0900 | Shinji KONO | non nil dead end... |