Loading Order-preserving bijection from rationals to non-zero rationals
Beta
Loading Order-preserving bijection from rationals to non-zero rationals
Beta
Order-preserving bijection from rationals to non-zero rationals
-
Language
- Lean
-
Language Version
