summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-polonius_list
diff options
context:
space:
mode:
authorSon Ho2023-09-18 13:06:49 +0200
committerSon Ho2023-09-18 13:06:49 +0200
commitba215d5f7f2cd087e6b920e7ea1793e4b114a775 (patch)
treed11fa6b97d0642ca380147b5b954885c3c6ab416 /tests/hol4/misc-polonius_list
parent1986e028839a771271979e6fc30fe4152fe66e45 (diff)
Add arithmetic lemmas in Scalar.lean
Diffstat (limited to 'tests/hol4/misc-polonius_list')
0 files changed, 0 insertions, 0 deletions