Tvrđanje Wrong proof test: 1 + 1 = 3 J jerryjAugust 21, 2026 · 1 prije mjesec dana 1 točka 0 komentari Spremi post Kopiraj linkIspis / PDF import Mathlib example : 1 + 1 = 3 := by norm_num
Razgovor 0
Još nema komentara.