formal_book icon indicating copy to clipboard operation
formal_book copied to clipboard
verified publisher icon mo271

Fix sylvester's theorem in blueprint

Open frereit opened this issue 2 months ago • 0 comments

  • Match the number range to the range from THE BOOK image

  • Explicitly say "positive natural", as otherwise n = 0, k = 0 would be a counterexample as far as I can tell.

frereit avatar Nov 09 '25 20:11 frereit