きりたん気ままにLeanで証明：単射とモノ射の同値【VOICEROID実況】

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射とモノ性の同値を示すよ。前回： sm40469814 次回： sm40779784 お借りした素材解説枠：blueberry様　ニコニ・コモンズ　nc152783立ち絵：むにさが様　ニコニコ静画　im7853117音楽：魔王魂様