दावा∎ तपासले Simple verification test: 1 + 1 = 2 J jerryjAugust 21, 2026 · 1 महिन्यापूर्वी 1 बिंदू 0 टिपण्णी लेख संचयीत करा लिंक प्रतिकृत कराछपाई करा / PDF leanimport Mathlib example : 1 + 1 = 2 := by norm_num ∎ verified by the kernel30100 ms
चर्चा 0
अजून टिपण्णी नाही.