Zulip Chat Archive

Stream: Is there code for X?

Topic: acos?

Siddharth Bhat (Dec 15 2023 at 06:57):

I was unable to find the definitions for acos, or cos_inverse . I wonder where this is defined in mathlib.

Yaël Dillies (Dec 15 2023 at 07:13):

docs#Real.arccos

Siddharth Bhat (Dec 15 2023 at 08:05):

Thanks!

Last updated: May 02 2025 at 03:31 UTC