Inverse trigonometric functions arctan and arccot. (2008)

by Xiquan Liang, Bing Xie
Venue:Formalized Mathematics,