diff options
author | Son Ho | 2023-09-18 13:06:49 +0200 |
---|---|---|
committer | Son Ho | 2023-09-18 13:06:49 +0200 |
commit | ba215d5f7f2cd087e6b920e7ea1793e4b114a775 (patch) | |
tree | d11fa6b97d0642ca380147b5b954885c3c6ab416 /tests/lean/lean-toolchain | |
parent | 1986e028839a771271979e6fc30fe4152fe66e45 (diff) |
Add arithmetic lemmas in Scalar.lean
Diffstat (limited to 'tests/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions