圏論を使って初等的な命題を完結にかっこよく証明してる例アーカイブ最終更新 2022/02/08 19:261.132人目の素数さんGGfQDdw/ください。出典 https://rio2016.5ch.net/test/read.cgi/math/16443159792022/02/08 19:26:191すべて|最新の50件