diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-27 02:57:00 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-27 02:57:00 -0800 |
commit | ba8d29ccd1dd272f5883fe3d042b1bc38f1ce688 (patch) | |
tree | 489b3e47f048e704d9a5bd7996f20dd10fb68fe0 /src/input/padic.input.pamphlet | |
parent | 12c45e096d0e55f6df58366fb670eed0a50cb453 (diff) | |
download | open-axiom-ba8d29ccd1dd272f5883fe3d042b1bc38f1ce688.tar.gz |
Simplify representation of constants in functors.
Diffstat (limited to 'src/input/padic.input.pamphlet')
0 files changed, 0 insertions, 0 deletions