diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 04:43:21 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 04:43:21 -0800 |
| commit | 93910b392982db0452864f30db17267e0f30ea41 (patch) | |
| tree | 6d84abecac20178b06a7ea087bf25fe9075e5d04 /src/input/zimmer.input.pamphlet | |
| parent | bd1588b379e4c9c4bc63ad59296ad531ebc52994 (diff) | |
| download | open-axiom-93910b392982db0452864f30db17267e0f30ea41.tar.gz | |
Remove redundant 'recip' signature from ModularRing and EuclideanModularRing
Diffstat (limited to 'src/input/zimmer.input.pamphlet')
0 files changed, 0 insertions, 0 deletions