mathlib3
faee3582 - feat (order/lexicographic): add API lemmas (#10887)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

feat (order/lexicographic): add API lemmas (#10887)

Author

MantasBaksys

MantasBaksys

Parents

FAQ Terms Privacy Refunds Impressum

Loading