mathlib3
e2c19d8a
- implicit
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
implicit
References
#18128 - feat(order/rel_iso/basic): add `rel_covering`, golf
Author
astrainfinita
Parents
8978325d
Loading
