diff options
author | Son Ho | 2023-09-18 19:56:27 +0200 |
---|---|---|
committer | Son Ho | 2023-09-18 19:56:27 +0200 |
commit | 0eb62047b052cb4fbf842525170dd916679e8b7e (patch) | |
tree | da155463273c10c9a66338d0cd2e96101d211f59 /backends/lean/Base/Primitives/Array.lean | |
parent | 28f4ea9ffe02d4204bb60273b6a77db7ed48781b (diff) |
Simplify some lemmas and prove that the scalars and Vec are inhabited
Diffstat (limited to 'backends/lean/Base/Primitives/Array.lean')
0 files changed, 0 insertions, 0 deletions