mathlib3
740af1e7 - discard proofs of \le when looking for proofs of \lt

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

discard proofs of \le when looking for proofs of \lt

Author

cipher1024

cipher1024

Parents

FAQ Terms Privacy Refunds Impressum

Loading