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/hol4/misc-polonius_list | |
| parent | 1986e028839a771271979e6fc30fe4152fe66e45 (diff) | |
Add arithmetic lemmas in Scalar.lean
Diffstat (limited to 'tests/hol4/misc-polonius_list')
0 files changed, 0 insertions, 0 deletions