log proof_deltaM.tex @ 51:801be6f676bc

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