feat: order lemmas for `UIntX` types

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

242 stars 101 forks source link

Open fgdorais opened 3 months ago

fgdorais commented 3 months ago

Since Fin doesn't yet have Min/Max instances in Batteries the val versions will have to wait.

leanprover-community-bot commented 2 weeks ago

Mathlib CI status (docs):

✅ Mathlib branch batteries-pr-testing-854 has successfully built against this PR. (2024-09-27 20:49:49) View Log