complete star semiring

1. REDIRECT Semiring#Star_semirings

{{Redirect category shell|

{{R to section}}

}}