Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-04 12:05 1a2eb0b5

View on Github →

feat(analysis/special_functions/trigonometric): add mistakenly omitted lemma (#6036)

Estimated changes

added theorem real.arcsin_eq_arctan