Loading Induction principle on nonnegative reals
Beta
Loading Induction principle on nonnegative reals
Beta
Induction principle on nonnegative reals
-
Language
- Lean
-
Language Version
Loading description...
Puzzles