Library
▹
Algebra
▹
Semirings
▹
Subsemirings
subsemiring
[
S
]
R
≤