diff options
| author | Vincent Laporte | 2019-07-25 12:01:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-25 12:06:39 +0000 |
| commit | 75b81316d86b6a76d81b03aef891aeb6df9c814d (patch) | |
| tree | acd0e86144725fff01331c4714b11e9c5f225c62 /dev | |
| parent | 3823ace92d92b2f5ee697ff156fe72d55217a921 (diff) | |
[Int63] Remove redundant misnamed lemma lsr_add_distr
This lemma is lsl_add_distr (about “<<” rather than “>>”).
See lemmas bit_add_or and lor_lsr for related properties.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions