diff options
| author | Georges Gonthier | 2015-11-30 16:13:49 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:07:15 +0000 |
| commit | 12ee0cfa20b9411d2a59aabfcd8d20b07a8975db (patch) | |
| tree | a7a47670cc57b4c23ef5aa4641ae258ae23e42d6 /mathcomp/solvable | |
| parent | 70073eb8b670d43e8dc236b7a4da61a0b1241c73 (diff) | |
Correct join values to baseFingroupType
These were all GRing.Zmodule.sort, instead of the corresponding sort
in GRing (Ring.sort, Comin.sort, etc).
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions