Tanh

Statistics

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

Name	Kind	Assumes	Proves	Validates	Depends On
`abs_tanh_lt_one` 📖	—	—	—	—	`minus_one_lt_tanh` `tanh_lt_one`
`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`
`minus_one_lt_tanh` 📖	—	—	—	—	—
`polynomial_bounded_on_interval` 📖	—	—	—	—	—
`polynomial_tanh_bounded` 📖	—	—	—	—	`minus_one_lt_tanh` `tanh_lt_one` `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`
`tanh_lt_one` 📖	—	—	—	—	—

---