Loading Introduction to bijection, cardinality, and infinite sets
4 kyu
Loading Introduction to bijection, cardinality, and infinite sets
4 kyu
Introduction to bijection, cardinality, and infinite sets
35 of 153solitude
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
