### 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