log proof_deltaM.tex @ 46:1b688e70f2a8

age author description
Sun, 15 Feb 2015 11:17:59 +0900 Yasutaka Higa Move proofs to appendix