Skip to content

Weaken `IsStrictOrderedRing` to `IsOrderedRing`

b48a87a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: weaken assumptions on lemmas about FloorRing #37582

Weaken `IsStrictOrderedRing` to `IsOrderedRing`
b48a87a
Select commit
Loading
Failed to load commit list.