diff options
| author | Reynald Affeldt | 2020-05-31 00:24:10 +0900 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-06 01:44:09 +0200 |
| commit | 7f355343ee30f72d8ab3ce87f897dc0092e43c29 (patch) | |
| tree | 3654fd4e19da8f63eecbf9a344054035a84af2eb /mathcomp/solvable | |
| parent | efed1800a4f2eaa942704ab8bebc60d9a3ac8dfd (diff) | |
tentative changelog
- mostly gathered the changes from previous commits
- add `minrC`
- minor doc addition to `order.v`
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions