Mathlib Changelog
v4
Changelog
About
Github
Theorem
Real.cos_ne_zero_iff
Modification history
2024-01-25 13:08
Mathlib/Analysis/SpecialFunctions/Trigonometric/Complex.lean
feat(Trigonometric): add lemmas about `cos x = -1 ↔ _` etc (#9878)
Modified
Real.cos_ne_zero_iff
View on Github →
2023-06-06 18:26
Mathlib/Analysis/SpecialFunctions/Trigonometric/Complex.lean
feat: port Analysis.SpecialFunctions.Trigonometric.Complex (#4744)
Added
Real.cos_ne_zero_iff
View on Github →