I assume that Smith feels that the United States has legitimate claims to land as it is a sovereign nation.
Indigenous nations are also sovereign--the very fact that we have signed treaties with the U.S. Government means that we are recognized as sovereigns under international law.

It doesn't even match the endonym of "Bodwadmi" either,,,

*the manipulation of infinitesimals can actually be made rigorous by using something like measure theory (iirc) or another vaguely similar theory as a foundation for the definition thereof

I think it annoys me because it feels like the difficulty is not from the calculus, but from the final algebraic step. Like ln|1/sin x - 1/cot x| only involves functions you learn by high school, but solving for x in this equation is also the biggest difficulty in trying to solve f'(x)=sin(f(x))

Similarly, if we do the case where g=sin, f'(x) = sin(f(x)) gets us h(x) = ∫csc(x) dx. This integral is not difficult, and it comes to simply ln|csc x - cot x|, but inverting this function seems like a pain

a very complicated inverse function, so if you want to use an explicit form for it in f(x) = li⁻¹(x + C), it's quite painful. (more importantly, it's the inverse of an important function and so

...a non-elementary function, but that is actually (in a way) convenient for the integration step, since it's a very important one so it gets its own symbol and name: li, the logarithmic integral. So now we have li(f(x)) = x+C. Unfortunately, the logarithmic integral has a very complicated invers...