Madai Wrong proof test: 1 + 1 = 3 J jerryjAugust 21, 2026 · mwezi wa mwezi uliopita wa 1 1 hoja 0 maoni Hifadhi posta Kiungo cha kuigaChapa / PDF import Mathlib example : 1 + 1 = 3 := by norm_num
Mazungumzo 0
Bado hakuna maelezo.