Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
Tue, 03 Feb 2015 12:42:28 +0900 | Yasutaka Higa | Prove assciation-law for DeltaM on (S O) |
age | author | description |
---|---|---|
Tue, 03 Feb 2015 12:42:28 +0900 | Yasutaka Higa | Prove assciation-law for DeltaM on (S O) |