diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-20 09:52:27 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-20 09:52:27 -0700 |
| commit | 1f4bd32d809b95612ec0c1682093ca8a4ab50e91 (patch) | |
| tree | 593a5f31c798572916e02c98c837acfd0d37f80d /src/Algebra.v | |
| parent | 0a4d512d77e34e0d0f5fe4f7711414dd5cd9939e (diff) | |
Add another lemma about +, <= to arith
Diffstat (limited to 'src/Algebra.v')
0 files changed, 0 insertions, 0 deletions