diff options
| author |  Jason Gross <jagro@google.com> | 2016-06-30 17:55:12 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-06-30 17:55:27 -0700 |
| commit | 0e8adaa7c1e546f442ac7e0f6d3e81c0e7e985b8 (patch) | |
| tree | ffb5e73ab19db315a6af59e078607203cde5110d /.gitignore | |
| parent | 4d9f63c4feab45d2f0701157fb21148dbb85ec0e (diff) | |
Add a proof of 2 * x - x = x
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions