Inverse Trigonometric Functions Arcsec and Arccosec
Bing Xie, Xiquan Liang, Fuguo Ge (2008)
Formalized Mathematics
Similarity:
This article describes definitions of inverse trigonometric functions arcsec and arccosec, as well as their main properties.MML identifier: SINCOS10, version: 7.8.10 4.100.1011