diff options
| author | Kazuhiko Sakaguchi | 2020-01-09 18:56:55 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-03-15 14:11:47 +0900 |
| commit | bdb23c100648a7e1b055d90a76eedbff9eef12f4 (patch) | |
| tree | f10ac4a79a2ec0d6e751beda2f4b59904ead58a4 /mathcomp/solvable | |
| parent | 85039b4c536a67ce936c079f519a9a8b6c33f1d6 (diff) | |
Reorder arguments of comparison predicates in order.v as they should
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions