Theorem qssaa

Description: The rational numbers are contained in the algebraic numbers. (Contributed by Mario Carneiro, 23-Jul-2014)

	Ref	Expression
Assertion	qssaa	⊢ ℚ ⊆ 𝔸

Proof

Step	Hyp	Ref	Expression
1		qaa	⊢ ( 𝑥 ∈ ℚ → 𝑥 ∈ 𝔸 )
2	1	ssriv	⊢ ℚ ⊆ 𝔸