Hacker News new | ask | show | jobs
by qiemem 4709 days ago
Gro-Tsen is just defining x<n> recursively. "by induction" there doesn't mean "proof by induction".