diff options
| author | Anton Trunov | 2020-04-01 10:07:15 +0300 |
|---|---|---|
| committer | GitHub | 2020-04-01 10:07:15 +0300 |
| commit | 402e37a405e4085365fdcbdc959fe00d2c340da2 (patch) | |
| tree | a6be8c7b91753e3498938bea2c32059f1ab1ba22 /plugins/micromega | |
| parent | dc723c2aa614e6b31ef5a4c9764ff92c0860880e (diff) | |
| parent | 0fe509b865727db14277e672a120444d6b913449 (diff) | |
Merge pull request #11880 from Lysxia/iter
NArith, PArith: Add facts about iter
Diffstat (limited to 'plugins/micromega')
0 files changed, 0 insertions, 0 deletions