All Questions
Tagged with proof-assistants special-relativity
1 question
3
votes
1
answer
68
views
Determine a sign of the limitation of a certain integral
I can't determine a sign of an integral written below and it has hit a dead end.
My setting is rather special.
Let $a\in(0,1)$ be a given constant and $(x_{\varepsilon},y_{\varepsilon})\in[0,a)\times[...