diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-22 12:19:41 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-22 12:19:41 -0700 |
| commit | 1f304caed78f9ccb4f94d100258ea43fbe76822b (patch) | |
| tree | 3bad9377c664e376996a0549bd8a1d9b628b1f38 /src/BaseSystem.v | |
| parent | b14476875dafc015bd7c546388a480d177390162 (diff) | |
Add ring_simplify_subterms
Diffstat (limited to 'src/BaseSystem.v')
0 files changed, 0 insertions, 0 deletions