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...