Nuprl Definition : arccos
arccos(x) == π/2 - arcsin(x)
Definitions occuring in Statement :
arcsin: arcsin(a),
halfpi: π/2,
rsub: x - y
Definitions occuring in definition :
rsub: x - y,
halfpi: π/2,
arcsin: arcsin(a)
FDL editor aliases :
arccos
Latex:
arccos(x) == \mpi{}/2 - arcsin(x)
Date html generated:
2019_10_31-AM-06_15_55
Last ObjectModification:
2019_05_23-AM-11_21_04
Theory : reals_2
Home
Index