Theorem sdomdom

Description: Strict dominance implies dominance. (Contributed by NM, 10-Jun-1998)

	Ref	Expression
Assertion	sdomdom	$$⊢A\prec B\to A\preccurlyeq B$$

Proof

Step	Hyp	Ref	Expression
1		brsdom	$$⊢A\prec B\leftrightarrow \left(A\preccurlyeq B\wedge \neg A\approx B\right)$$
2	1	simplbi	$$⊢A\prec B\to A\preccurlyeq B$$