Mercurial > hg > Members > atton > delta_monad
log
age | author | description |
---|---|---|
2015-02-03 | Yasutaka Higa | Prove assciation-law for DeltaM on (S O) |
2015-02-03 | Yasutaka Higa | Fix association-law for DeltaM in (S n) |
2015-02-03 | Yasutaka Higa | Prove left-unity-law for DeltaM |
Loading... |