10:17:52 <br-m> <kayabanerve:matrix.org> tevador: Thanks for commenting that there presumably is such a proof :) That's fun
10:18:41 <br-m> <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 :)