きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】
- 2022/07/17 13:13:02 投稿
- 再生数：466
- マイリスト数：2
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。初見プレイなので途中ちょっとガバってます。前回： sm40481109 気づいたら前回から2ヶ月空いてました……。ごめんなさい。お借りした素材解説枠：blueberry様 ニコニ・コモンズ nc152783立ち絵：むにさが様 ニコニコ静画 im7853117音楽：魔王魂様