Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Wed, 23 Mar 2016 22:47:32 +0900 | Shinji KONO | if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no good |
Wed, 23 Mar 2016 19:52:27 +0900 | Shinji KONO | same conflict again ... |
Wed, 23 Mar 2016 17:16:29 +0900 | Shinji KONO | Maybe does not help conflict ... |