diff options
| author | Vincent Laporte | 2019-03-15 12:48:51 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-15 12:48:51 +0000 |
| commit | a44c4a34202fa6834520fcd6842cc98eecf044ec (patch) | |
| tree | 8c2fa10f96e527a8b4c9131568cf59bdff8388f8 /plugins | |
| parent | 710a7cad94dcc9c734ab9ccc425f7a080dddc5f8 (diff) | |
| parent | b7df34e9bc0959a3c074eeb6f67d932605481441 (diff) | |
Merge PR #9425: BinInt: 3 lemmas about testbit, mod _ 2^, ones
Reviewed-by: vbgl
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions