log

age author description
Fri, 30 Jan 2015 21:57:31 +0900 Yasutaka Higa Prove left-unity-law for DeltaM