Theorem rehalfcli

Description: Half a real number is real. Inference form. (Contributed by David Moews, 28-Feb-2017)

	Ref	Expression
Hypothesis	rehalfcli.1	$$⊢A\in ℝ$$
Assertion	rehalfcli	$$⊢\frac{A}{2}\in ℝ$$

Proof

Step	Hyp	Ref	Expression
1		rehalfcli.1	$$⊢A\in ℝ$$
2		rehalfcl	$$⊢A\in ℝ\to \frac{A}{2}\in ℝ$$
3	1 2	ax-mp	$$⊢\frac{A}{2}\in ℝ$$