Metamath Proof Explorer


Syntax definition casin

Description: The arcsine function.

Ref Expression
Assertion casin class arcsin