PR #12842: feat(algebra/order/floor): Generalize floor le...

Stream: triage

[Random Issue Bot]

Today I chose PR 12842 for discussion!

feat(algebra/order/floor): Generalize floor lemmas to ordered_semirings
Created by @Kevin Wilson (@khwilson) on 2022-03-20
Labels: awaiting-review, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

We agreed that this wasn't a meaningful generalisation.