Commit 2024-01-22 13:53 b514c580

View on Github →

chore(Trigonometric/Basic): reorder, golf (#9867)

Estimated changes

modified theorem Real.strictMonoOn_tan