Loading Generalised Pell x^2-37y^2=3
Beta
Loading Generalised Pell x^2-37y^2=3
Beta
Generalised Pell x^2-37y^2=3
-
Language
- Lean
-
Language Version
Loading description...
Puzzles