Zulip Chat Archive
Stream: Is there code for X?
Topic: cos x = 1/2 ↔ ...
Violeta Hernández (Jul 31 2022 at 22:42):
We have docs#real.cos_eq_zero_iff and docs#real.cos_eq_one_iff. I'm looking for these lemmas for -1, -1/2, 1/2. Do we have them?
Violeta Hernández (Aug 01 2022 at 00:31):
Wait, I see why we don't have the -1/2 and 1/2 versions. They're not as simpler as the other ones and can be derived from docs#real.cos_eq_cos_iff.
Last updated: May 02 2025 at 03:31 UTC