Arctan

📁 Source: Mathlib/MeasureTheory/Function/SpecialFunctions/Arctan.lean

Statistics

Metric	Count
Definitions	0
Theorems arctan, measurable_arctan	2
Total	2

Measurable

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
arctan 📖	mathematical	Measurable Real Real.measurableSpace	Real.arctan	—	comp Real.measurable_arctan

Real

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
measurable_arctan 📖	mathematical	—	Measurable Real measurableSpace arctan	—	Continuous.measurable BorelSpace.opensMeasurable borelSpace continuous_arctan

---

← Back to Index