diff options
| author | Yishuai Li | 2018-10-24 16:22:58 -0400 |
|---|---|---|
| committer | Yishuai Li | 2018-10-29 13:23:06 -0400 |
| commit | e4c95253e01992bee0786312a5e2bbc5ec480253 (patch) | |
| tree | 60eb44205aa53c0ecd88dc0a97d2ee1a4eecc986 /kernel/declarations.ml | |
| parent | 0ac673e562c34245e4e48efc428d808e917be79b (diff) | |
NArith: add lemmas about numbers and vectors
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions