Pag-aangkin Simple verification test: 1 + 1 = 2 J jerryjAugust 21, 2026 · 1 month ago 1 punto 0 Mga komento I-save ang post I-copy ang linkI-print / PDF import Mathlib example : 1 + 1 = 2 := by norm_num
Pag-uusap 0
Walang mga komento pa.