diff options
| author | Escherichia | 2024-04-03 17:52:10 +0200 |
|---|---|---|
| committer | Escherichia | 2024-04-03 17:52:10 +0200 |
| commit | 78cc58e3076ffd61add6d78b64371b6eb36d6ab2 (patch) | |
| tree | 5028b81de17c7d700ee64381e5b80fbf7e54c415 /backends/lean/Base/Primitives/Range.lean | |
| parent | a2a219145587deb0ade9fa7d60171765cd722162 (diff) | |
resolved requested changes
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions