summaryrefslogtreecommitdiff
path: root/tests/coq
diff options
context:
space:
mode:
authorSon Ho2023-07-18 18:02:03 +0200
committerSon Ho2023-07-18 18:02:03 +0200
commit0a8211041814b5eafac0b9e2dbcd956957a322b5 (patch)
treec823a5a3668201ddcc0caded7933dea0061a059a /tests/coq
parent0f430c055c3a531ceab83635adc5df92f0015c6e (diff)
Move an arithmetic lemma
Diffstat (limited to 'tests/coq')
0 files changed, 0 insertions, 0 deletions