mathlib3
3ca4c270
- chore(algebra/ordered_ring): use le instead of ge (#2986)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
chore(algebra/ordered_ring): use le instead of ge (#2986)
Author
sgouezel
Parents
47f73356
Loading