Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
nointer
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
nointer
7y ago
In the first one, they already defined upper bound and least upper bound beforehand, so the statement is more concise than the Strichartz's one. On the other hand, the proof of the completeness axiom, or rather a detailed construction