diff options
| author | Oliver Nash | 2019-09-03 20:38:52 +0100 |
|---|---|---|
| committer | Oliver Nash | 2019-09-03 20:38:52 +0100 |
| commit | 3d5eec61f7d150f3ac2d6e7785a6e6d31fe0c690 (patch) | |
| tree | b078931e6059c3f39f32b62ff5fd6cb223ed3a0c /dev | |
| parent | fef9016bd3ca6544f0110bdbf8dbe6ca24120450 (diff) | |
Add lemmas directly relating List.nth and List.nth_error
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions