Даъво Wrong proof test: 1 + 1 = 3 J jerryjAugust 21, 2026 · 1 моҳ пеш 1 нуқта 0 шарҳ Захира кардани мақолот Нусха бардоштани пайвандЧоп кардан / PDF import Mathlib example : 1 + 1 = 3 := by norm_num
Мубоҳиса 0
Шарҳе нест.