mathlib3

6bfbb49e - docs(algebra/order/floor): Update floor_semiring docs to reflect it's just an ordered_semiring (#12756)

docs(algebra/order/floor): Update floor_semiring docs to reflect it's just an ordered_semiring (#12756) The docs say that `floor_semiring` is a linear ordered semiring, but it is only an `ordered_semiring` in the code. Change the docs to reflect this fact.