<kayabanerve:matrix.org> tevador: Thanks for commenting that there presumably is such a proof :) That's fun

<kayabanerve:matrix.org> Also, thanks for reviewing my attempt at a batch sqrt and giving it the proper point of comparison. I was hoping you'd be able to do so :)