ചർച്ചഉറപ്പാക്കുക
A simple proof, hope it works
import Mathlib
theorem testing : ∀ a b c d e : Nat, a + b + c + d + e = (c + (e + d)) + (b + a) := by
intros
abel
∎ verified by the kernel8434 ms
import Mathlib
theorem testing : ∀ a b c d e : Nat, a + b + c + d + e = (c + (e + d)) + (b + a) := by
intros
abel
ചർച്ച 0
ഇതുവരെ അഭിപ്രായമില്ല.