Theorem Measurable.arctan

Modification history

2024-08-09 00:58

Mathlib/MeasureTheory/Function/SpecialFunctions/Arctan.lean

chore: backports for leanprover/lean4#4814 (part 24) (#15520)

Modified Measurable.arctan View on Github →

2023-06-07 00:58

Mathlib/MeasureTheory/Function/SpecialFunctions/Arctan.lean

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

Added Measurable.arctan View on Github →