D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1x
Created with sketchtool.
svg/L1/icon/watch/arrow
Created with Sketch.
関連動画
svg/L1/icon/watch/arrow
Created with Sketch.
関連動画
0:00
0:00
/
8:51
D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1x
Created with sketchtool.
ニコニコ動画で視聴
きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】
ニコニコ動画で視聴
数学
VOICEROIDファンの数学サイド
Lean
東北きりたん実況プレイ
VOICEROID実況プレイ
定理証明支援系
数学
VOICEROIDファンの数学サイド
Lean
東北きりたん実況プレイ
VOICEROID実況プレイ
定理証明支援系
ニコニコ動画で視聴する＞
svg/L1/icon/watch/arrow
Created with Sketch.
もっと見る
svg/L1/icon/watch/arrow
Created with Sketch.
閉じる
共有
きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】
fb
line
https://nico.ms/sm40481109?ref=thumb_watch
リンクをコピー
