Revision - b13fb54 - Add lemmas divzMr and divzMl; strenghten and prove modz_pow2_div.

Revision b13fb54e49840bd81ed3d872883c212cc6bab273 authored by MM on 15 March 2022, 09:19:03 UTC, committed by Pierre-Yves Strub on 17 March 2022, 20:33:03 UTC

Add lemmas divzMr and divzMl; strenghten and prove modz_pow2_div.

1 parent 3646dd8

Files
Changes

File	Mode	Size
tests.config	-rw-r--r--	343 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...