定理テンプレート Last-modified: Fri, 02 Nov 2018 22:17:38 JST (2005d) Top > 定理テンプレート freeze(定理) 定理の名前 仮定 主張 証明 freeze