Theorem real.exists_cos_eq_zero
Modification history
2020-09-23 09:47
src/analysis/special_functions/trigonometric.lean
feat(analysis/special_functions/trigonometric): continuity and differentiability of arctan (#4138) …
Modified real.exists_cos_eq_zeroView on Github →