D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1xCreated with sketchtool.
0:00
0:00/9:29
D88EC7E8-E3FB-4F6D-A2CE-00F7A1C48C48@1xCreated with sketchtool.ニコニコ動画で視聴

きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】ニコニコ動画で視聴

共有

きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】

line
https://nico.ms/sm40469814?ref=thumb_watch