చర్చనిర్ధారణ పరిధి
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
ఇంకా వ్యాఖ్యానాలు లేవు.