Fix pos/neg assumption for asin, acos, atan and acot. Fixes https://github.com/sympy/sympy/issues/7246

Added a newline at the EOF

Removed wrong math for is_positive in asin