top | item 6091000 (no title) qiemem | 12 years ago Gro-Tsen is just defining x<n> recursively. "by induction" there doesn't mean "proof by induction". discuss order hn newest No comments yet.
No comments yet.