Theorem srgmnd

Description: A semiring is a monoid. (Contributed by Thierry Arnoux, 21-Mar-2018)

	Ref	Expression
Assertion	srgmnd	$$⊢R\in \mathrm{SRing}\to R\in \mathrm{Mnd}$$

Proof

Step	Hyp	Ref	Expression
1		srgcmn	$$⊢R\in \mathrm{SRing}\to R\in \mathrm{CMnd}$$
2		cmnmnd	$$⊢R\in \mathrm{CMnd}\to R\in \mathrm{Mnd}$$
3	1 2	syl	$$⊢R\in \mathrm{SRing}\to R\in \mathrm{Mnd}$$