Indicazione Wrong proof test: 1 + 1 = 3 J jerryjAugust 21, 2026 · 1 mese fa 1 punto 0 Osservazioni Salva post Copia collegamentoStampa / PDF import Mathlib example : 1 + 1 = 3 := by norm_num
Discussione 0
Non ci sono ancora commenti.