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