ស្នើសុំ Wrong proof test: 1 + 1 = 3 J jerryjAugust 21, 2026 · 1 month ago 1 ចំណុច 0 មតិយោបល់ រក្សាទុកអត្ថបទ ចម្លងតំណបោះពុម្ព / PDF import Mathlib example : 1 + 1 = 3 := by norm_num
ពិភាក្សា 0
គ្មានមតិយោបល់នៅឡើយទេ ។