diff options
| author | Kazuhiko Sakaguchi | 2020-11-17 09:29:55 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-19 05:24:58 +0900 |
| commit | cdbb52e7c60883b0beee923fdd96baa3e80a1912 (patch) | |
| tree | 8697ff95b789afed939ac3f414539d489d2498e3 /mathcomp/solvable | |
| parent | b3d31c4b66581c78ce23b7fc2e76b41a1a4adf60 (diff) | |
Apply a suggestion from code review
Co-authored-by: Christian Doczkal <christian.doczkal@inria.fr>
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions