diff options
| author | Raphaël Monat | 2017-10-03 16:19:17 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-03 16:19:17 +0200 |
| commit | b40eb1628b85bbf4605fad2222c86ea796425e2a (patch) | |
| tree | c3eb80efd78bfeb5e525f9cc43a76f6a9f96a46f /API/API.ml | |
| parent | 723b1cbb1a3b0933abf5a78a2fbcdd7bdfc5cc23 (diff) | |
Add leb_not_le: (n <=? m) = false -> n > m.
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions