Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-18 01:44 b1218f8b

View on Github →

chore(analysis/special_functions/trigonometric): review, golf (#5392)

Estimated changes