diff options
| author | Guillaume Boisseau | 2024-05-14 14:49:56 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-05-14 15:01:39 +0200 |
| commit | 50f5794587c56be833bd2fc0f48d008a46fc69a0 (patch) | |
| tree | 45bd9be065218c24c259a84fd95c68644b7bf722 /backends/lean/Base/IList.lean | |
| parent | b923f7232a9e98a0b039b722ffedcf91051edbe6 (diff) | |
Tweak wording
Co-authored-by: Son HO <hosonmarc@gmail.com>
Diffstat (limited to 'backends/lean/Base/IList.lean')
0 files changed, 0 insertions, 0 deletions