diff options
| author | Pierre-Yves Strub | 2016-03-15 12:23:54 +0100 |
|---|---|---|
| committer | Pierre-Yves Strub | 2016-03-15 12:23:54 +0100 |
| commit | be821e08f2c1492710ffff0275d3588ffbd2fc6a (patch) | |
| tree | 459c06721a34282b6ad266f9f9cf00e1590baf4a /mathcomp/ssreflect/plugin | |
| parent | ab782048a148271919ed2e11debff674892f4c95 (diff) | |
all_algebra now exports zmodp
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions