mathlib3
7f9717fd - feat(*): preorder instances for with_bot and with_zero (#996)

Commit

6 years ago

feat(*): preorder instances for with_bot and with_zero (#996) * feat(*): preorder instances for with_bot and with_zero * Let's try again

References

Author

jcommelin

Committer

mergify[bot]

Parents