Commit 2023-06-07 00:58 02d615d3

View on Github →

feat: port MeasureTheory.Function.SpecialFunctions.Arctan (#4754)

Estimated changes

added theorem Measurable.arctan
added theorem Real.measurable_arctan