swh:1:snp:073f9f660876ea6d96214b0f286fe610ca1875c7
History
Tip revision: b13fb54e49840bd81ed3d872883c212cc6bab273 authored by MM on 15 March 2022, 09:19:03 UTC
Add lemmas divzMr and divzMl; strenghten and prove modz_pow2_div.
Tip revision: b13fb54
File Mode Size
tests.config -rw-r--r-- 343 bytes

back to top