HN Explorer
↵
Trending
Stats
☾
Invariant if and only if Mike's dog ate his frog
(projecteuclid.org)
2 points
by
tw1010
7y ago
↗ HN
1 comment
[
3.4 ms
]
story
[
16.2 ms
]
thread
[–]
tw1010
7y ago
↗
Page 15 in the proof for lemma 8.4.
1 comment
[ 3.4 ms ] story [ 16.2 ms ] thread