Theorem Rat.num_nonneg
Modification history
2024-06-04 04:05
Mathlib/Algebra/Order/Ring/Rat.lean
chore: Move `Data.Rat.Order` to `Algebra.Order.Ring.Rat` (#13169)
Modified Rat.num_nonnegView on Github →2024-05-02 13:42
Mathlib/Data/Rat/Order.lean
chore: move to v4.8.0-rc1 (#12548) …
Modified Rat.num_nonnegView on Github →2024-04-15 14:21
Mathlib/Data/Rat/Order.lean
refactor(Rat): Streamline basic theory (#11504) …
Modified Rat.num_nonnegView on Github →