Theorem chtcl

Description: Real closure of the Chebyshev function. (Contributed by Mario Carneiro, 15-Sep-2014)

	Ref	Expression
Assertion	chtcl	$$⊢A\in ℝ\to \theta \left(A\right)\in ℝ$$

Proof

Step	Hyp	Ref	Expression
1		chtf	$$⊢\theta :ℝ⟶ℝ$$
2	1	ffvelcdmi	$$⊢A\in ℝ\to \theta \left(A\right)\in ℝ$$