Tanh

Statistics

Metric	Count
Definitions	0
Theorems `contDiff_tanh`, `contDiff_top_tanh`, `deriv_tanh`, `iteratedDeriv_tanh_bounded`, `iteratedDeriv_tanh_const_mul`, `iteratedDeriv_tanh_differentiable`, `iteratedDeriv_tanh_is_polynomial_of_tanh`, `polynomial_bounded_on_interval`, `polynomial_tanh_bounded`, `tanh_const_mul_hasTemperateGrowth`, `tanh_const_mul_iteratedDeriv_norm_eq_iteratedFDeriv_norm`, `tanh_hasTemperateGrowth`	12
Total	12

Name	Kind	Assumes	Proves	Validates	Depends On
`contDiff_tanh` 📖	—	—	—	—	—
`contDiff_top_tanh` 📖	—	—	—	—	`contDiff_tanh`
`deriv_tanh` 📖	—	—	—	—	—
`iteratedDeriv_tanh_bounded` 📖	—	—	—	—	`iteratedDeriv_tanh_is_polynomial_of_tanh` `polynomial_tanh_bounded`
`iteratedDeriv_tanh_const_mul` 📖	—	—	—	—	`iteratedDeriv_tanh_differentiable`
`iteratedDeriv_tanh_differentiable` 📖	—	—	—	—	`contDiff_tanh`
`iteratedDeriv_tanh_is_polynomial_of_tanh` 📖	—	—	—	—	`deriv_tanh`
`polynomial_bounded_on_interval` 📖	—	—	—	—	—
`polynomial_tanh_bounded` 📖	—	—	—	—	`polynomial_bounded_on_interval`
`tanh_const_mul_hasTemperateGrowth` 📖	—	—	—	—	`contDiff_top_tanh` `iteratedDeriv_tanh_bounded` `tanh_const_mul_iteratedDeriv_norm_eq_iteratedFDeriv_norm` `iteratedDeriv_tanh_const_mul`
`tanh_const_mul_iteratedDeriv_norm_eq_iteratedFDeriv_norm` 📖	—	—	—	—	—
`tanh_hasTemperateGrowth` 📖	—	—	—	—	`contDiff_top_tanh` `iteratedDeriv_tanh_bounded`

---