diff options
| author | Kazuhiko Sakaguchi | 2020-11-21 13:32:03 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-25 22:29:54 +0900 |
| commit | 43796130c3e59c0651a283e6654a7d82acbfeed3 (patch) | |
| tree | 3d18d69f56e32e3b571edbc7b8474f036c913b68 /mathcomp/field/separable.v | |
| parent | c2b2ea2dce5fa7b8d428a5072f2e86979eeb1d98 (diff) | |
Apply suggestions from code review
Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>
Diffstat (limited to 'mathcomp/field/separable.v')
0 files changed, 0 insertions, 0 deletions