diff options
| author | Son Ho | 2024-01-25 11:54:31 +0100 |
|---|---|---|
| committer | Son Ho | 2024-01-25 11:54:31 +0100 |
| commit | d89cbfdc3f972e1ff4c7c9dd723146556d26526d (patch) | |
| tree | d948f1104170d7254e8802eb7bf2b77a4386d3b3 /backends/lean/Base/Diverge | |
| parent | da9a2fb410bde569fea11a4c1507f98ab4250e41 (diff) | |
Update a decreases clause
Diffstat (limited to 'backends/lean/Base/Diverge')
0 files changed, 0 insertions, 0 deletions