diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-14 15:05:59 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-16 17:10:16 +0200 |
commit | a75914f098a66bd628b162e6d9e8614451c9c8aa (patch) | |
tree | 429c2e36bdb3d144b78dd465de6eb49af077085f /theories/ZArith | |
parent | f29a9c409272271260256792f64abf7475984e77 (diff) |
[sphinx] Fix mistake in index.
Diffstat (limited to 'theories/ZArith')
0 files changed, 0 insertions, 0 deletions