diff options
| author | Raphaël Monat | 2017-10-03 20:45:13 +0200 |
|---|---|---|
| committer | Raphaël Monat | 2017-10-03 20:45:13 +0200 |
| commit | b4b778f1a1657e0b65f5ac3fe466ca9a1e8d55d3 (patch) | |
| tree | 7949298d0ea43c7d53116b3d2ca75f708ef15d88 /API/API.ml | |
| parent | e664022ba1314d866e4e148d5f5f925654db0487 (diff) | |
Changed the statement of leb_not_le; shortened the proof
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions