Loading The integers and the rationals are not isomorphic as groups
6 kyu
Loading The integers and the rationals are not isomorphic as groups
6 kyu
The integers and the rationals are not isomorphic as groups
19mhimmel
-
Language
- Lean
-
Language Version
Loading description...
Mathematics
Theorem Proving
Fundamentals