mathlib3
c034b4c2 - chore(order/bounds): +2 lemmas, fix a name (#2877)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

chore(order/bounds): +2 lemmas, fix a name (#2877)

Author

urkud

urkud

Parents

FAQ Terms Privacy Refunds Impressum

Loading