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/Vec.lean | |
| parent | 28f4ea9ffe02d4204bb60273b6a77db7ed48781b (diff) | |
Simplify some lemmas and prove that the scalars and Vec are inhabited
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions