Zenn
集合論
このトピックを指定するには
集合論
と入力
Articles
1
Scraps
1
articles
Trending
Alltime
Latest
🥐
Lean Prover で Cantor の対関数に逆写像があることを示す
lean ja
2024/04/30
1